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 [make]
11]
12install: [
13 [make "install"]
14]
15remove: [
16 ["ocamlfind" "remove" "gmp"]
17]
18depends: [
19 "ocaml" {>= "3.12.1" & < "4.09.0"}
20 "ocamlfind" {build}
21 "camlidl" {< "1.10"}
22 "conf-gmp"
23 "conf-mpfr"
24 "conf-perl" {build}
25]
26conflicts: [
27 "mlgmp"
28 "apron" {= "20140725"}
29 "apron" {= "20150518"}
30]
31synopsis: "OCaml interface to the GMP library"
32flags: light-uninstall
33url {
34 src: "https://github.com/nberth/mlgmpidl/archive/1.2.7.tar.gz"
35 checksum: [
36 "sha256=1ce22731b12926b7f1c1b74b4bb0ceea436603ac66fd0fcce570521db29b1167"
37 "md5=b70f6c1628393e75083c6f959646f25f"
38 ]
39}