File tree Expand file tree Collapse file tree 1 file changed +43
-0
lines changed
packages/mlgmpidl/mlgmpidl.1.2.15-1 Expand file tree Collapse file tree 1 file changed +43
-0
lines changed Original file line number Diff line number Diff line change 1+ opam-version: "2.0"
2+ authors: ["Bertrand Jeannet" "Nicolas Berthier"]
3+ maintainer: "Nicolas Berthier <m@nberth.space>"
4+ dev-repo: "git+https://github.com/nberth/mlgmpidl.git"
5+ bug-reports: "https://github.com/nberth/mlgmpidl/issues"
6+ homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/"
7+ license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
8+ build: [
9+ [
10+ "sed"
11+ "-ib"
12+ "-e"
13+ "s/checkprefix \"\\$cc \\$cflags\" mpfr\\.h/checkprefix \"\\$cc \\$cflags -I\\$gmp_prefix\\/include\" mpfr.h/g"
14+ "configure"] {os = "macos" & os-distribution = "homebrew"}
15+ ["sh" "-exec" "./configure --absolute-dylibs --mpfr-prefix ${HOMEBREW_PREFIX:-/opt/homebrew}/opt/mpfr --gmp-prefix ${HOMEBREW_PREFIX:-/opt/homebrew}/opt/gmp"] { os = "macos" & os-distribution = "homebrew" }
16+ ["sh" "./configure" "--absolute-dylibs" {os = "macos"} ] { !(os = "macos"& os-distribution = "homebrew") }
17+ [make]
18+ ]
19+ install: [
20+ [make "install"]
21+ ]
22+ depends: [
23+ "ocaml" {>= "3.12.1"}
24+ "ocamlfind" {build & >= "1.5.6"}
25+ "camlidl" {!= "1.10"}
26+ "conf-gmp"
27+ "conf-mpfr"
28+ "conf-perl" {build}
29+ "bigarray-compat"
30+ ]
31+ conflicts: [
32+ "mlgmp"
33+ "apron" {= "20140725"}
34+ "apron" {= "20150518"}
35+ ]
36+ synopsis: "OCaml interface to the GMP library"
37+ url {
38+ src: "https://github.com/nberth/mlgmpidl/archive/1.2.15-1.tar.gz"
39+ checksum: "md5=fba69df33295a427e093cad67114a5d6"
40+ }
41+ x-ci-accept-failures: [
42+ "oraclelinux-8" "oraclelinux-9" "alpine-3.19"
43+ ]
You can’t perform that action at this time.
0 commit comments