this repo has no description
Merge pull request #25221 from nberth/mlgmpidl-1.3.0
Add mlgmpidl.1.3.0
authored by
Marcello Seri
and committed by
GitHub
8477e9a7
d04b0493
+41
-1
+4
-1
packages/conf-mpfr-paths/conf-mpfr-paths.1/opam
+4
-1
packages/conf-mpfr-paths/conf-mpfr-paths.1/opam
···
34
34
["mpfr-devel"] {os-distribution = "centos"}
35
35
["mpfr"] {os = "macos" & os-distribution = "homebrew"}
36
36
["mpfr"] {os = "macos" & os-distribution = "macports"}
37
-
["mpfr"] {os = "freebsd"}
37
+
# ["mpfr"] {os = "freebsd"}
38
38
["mpfr"] {os = "openbsd"}
39
39
["mpfr"] {os-family = "arch"}
40
40
["mpfr-dev"] {os-family = "alpine"}
41
41
["mpfr-devel"] {os-family = "suse"}
42
42
["mpfr"] {os = "win32" & os-distribution = "cygwinports"}
43
+
]
44
+
available: [
45
+
os != "freebsd"
43
46
]
44
47
extra-files: ["test-mpfr.c" "md5=60677273f1781840669e5a897df5d645"]
45
48
flags: conf
+37
packages/mlgmpidl/mlgmpidl.1.3.0/opam
+37
packages/mlgmpidl/mlgmpidl.1.3.0/opam
···
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
+
["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
+
]
16
+
install: [
17
+
[make "install"]
18
+
]
19
+
depends: [
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
+
]
28
+
conflicts: [
29
+
"mlgmp"
30
+
"apron" {= "20140725"}
31
+
"apron" {= "20150518"}
32
+
]
33
+
synopsis: "OCaml interface to the GMP library"
34
+
url {
35
+
src: "https://github.com/nberth/mlgmpidl/archive/1.3.0.tar.gz"
36
+
checksum: "md5=527995e4bc37a57297d7f30495ea0cc2"
37
+
}