From 8df34c9e06059e6a0dddb44da10295115c81a575 Mon Sep 17 00:00:00 2001 From: Nicolas Berthier Date: Fri, 7 Jul 2023 10:48:20 +0200 Subject: [PATCH] mlgmpidl.1.2.15 --- packages/mlgmpidl/mlgmpidl.1.2.15/opam | 33 ++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 packages/mlgmpidl/mlgmpidl.1.2.15/opam diff --git a/packages/mlgmpidl/mlgmpidl.1.2.15/opam b/packages/mlgmpidl/mlgmpidl.1.2.15/opam new file mode 100644 index 000000000000..ebde49d2de06 --- /dev/null +++ b/packages/mlgmpidl/mlgmpidl.1.2.15/opam @@ -0,0 +1,33 @@ +opam-version: "2.0" +authors: ["Bertrand Jeannet" "Nicolas Berthier"] +maintainer: "Nicolas Berthier " +dev-repo: "git+https://github.com/nberth/mlgmpidl.git" +bug-reports: "https://github.com/nberth/mlgmpidl/issues" +homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/" +license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception" +build: [ + ["sh" "./configure" "--absolute-dylibs" {os = "macos"} ] + [make] +] +install: [ + [make "install"] +] +depends: [ + "ocaml" {>= "3.12.1"} + "ocamlfind" {build & >= "1.5.6"} + "camlidl" {!= "1.10"} + "conf-gmp" + "conf-mpfr" + "conf-perl" {build} + "bigarray-compat" +] +conflicts: [ + "mlgmp" + "apron" {= "20140725"} + "apron" {= "20150518"} +] +synopsis: "OCaml interface to the GMP library" +url { + src: "https://github.com/nberth/mlgmpidl/archive/1.2.15.tar.gz" + checksum: "md5=fba69df33295a427e093cad67114a5d6" +}