-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
38 lines (38 loc) · 897 Bytes
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
opam-version: "2.0"
authors: ["Bertrand Jeannet"]
maintainer: "Nicolas Berthier <m@nberth.space>"
dev-repo: "git+https://github.com/nberth/mlgmpidl.git"
bug-reports: "https://github.com/nberth/mlgmpidl/issues"
homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/"
license: "LGPL-2.1-only"
build: [
["./configure"]
[make]
]
install: [
[make "install"]
]
remove: [
["ocamlfind" "remove" "gmp"]
]
depends: [
"ocaml" {< "4.06"}
"ocamlfind" {build}
"camlidl" {< "1.10"}
"conf-gmp"
"conf-mpfr"
]
conflicts: [
"mlgmp"
"apron" {= "20140725"}
"apron" {= "20150518"}
]
synopsis: "OCaml interface to the GMP library"
flags: light-uninstall
url {
src: "https://github.com/nberth/mlgmpidl/archive/1.2.4.tar.gz"
checksum: [
"sha256=aafd9b5498d7eda79640c91ba2522c3cfd5b25b7035df66224ae487584ecd8a0"
"md5=7b77c3c3cde3ed18b46b00cf7cf57dc5"
]
}