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]
15depends: [
16 "ocaml" {>= "3.12.1"}
17 "ocamlfind" {build & >= "1.5.6"}
18 "camlidl" {!= "1.10"}
19 "conf-gmp"
20 "conf-mpfr"
21 "conf-perl" {build}
22 "bigarray-compat"
23]
24conflicts: [
25 "mlgmp"
26 "apron" {= "20140725"}
27 "apron" {= "20150518"}
28]
29synopsis: "OCaml interface to the GMP library"
30url {
31 src: "https://github.com/nberth/mlgmpidl/archive/1.2.15.tar.gz"
32 checksum: [
33 "sha256=52ab45ef59ac19b38ff4841bab92fa14008edaeb8fc652b2cd20d26289558a41"
34 "md5=fba69df33295a427e093cad67114a5d6"
35 ]
36}
37x-ci-accept-failures: ["macos-homebrew"]