this repo has no description
anil.recoil.org
1opam-version: "2.0"
2authors: ["Bertrand Jeannet" "Nicolas Berthier"]
3maintainer: "Nicolas Berthier <m@nberth.space>"
4dev-repo: "git+https://github.com/nberth/mlgmpidl.git"
5bug-reports: "https://github.com/nberth/mlgmpidl/issues"
6homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/"
7license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
8build: [
9 ["sh" "./configure" "--absolute-dylibs" {os = "macos"}
10 "CPPFLAGS+=-I%{conf-gmp-paths:incdir}%" { conf-gmp-paths:incdir != "" }
11 "CPPFLAGS+=-I%{conf-mpfr-paths:incdir}%" { conf-mpfr-paths:incdir != "" }
12 "LDFLAGS+=-L%{conf-gmp-paths:libdir}%" { conf-gmp-paths:libdir != "" }
13 "LDFLAGS+=-L%{conf-mpfr-paths:libdir}%" { conf-mpfr-paths:libdir != "" } ]
14 [make]
15]
16install: [
17 [make "install"]
18]
19depends: [
20 "ocaml" {>= "3.12.1"}
21 "ocamlfind" {build & >= "1.5.6"}
22 "camlidl" {!= "1.10"}
23 "conf-gmp-paths"
24 "conf-mpfr-paths"
25 "conf-perl" {build}
26 "bigarray-compat"
27]
28conflicts: [
29 "mlgmp"
30 "apron" {= "20140725"}
31 "apron" {= "20150518"}
32]
33synopsis: "OCaml interface to the GMP library"
34url {
35 src: "https://github.com/nberth/mlgmpidl/archive/1.3.0.tar.gz"
36 checksum: [
37 "sha256=51a25f51068b1439ae71469ae506b1637d4e6f782a00955317bdff0f41ec49f8"
38 "md5=527995e4bc37a57297d7f30495ea0cc2"
39 ]
40}