Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
36 lines (35 sloc) 805 Bytes
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"
build: [
["./configure"]
[make]
]
install: [
[make "install"]
]
remove: [
["ocamlfind" "remove" "gmp"]
]
depends: [
"ocaml" {>= "4.02" & < "4.06"}
"ocamlfind" {build}
"camlidl"
"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.5.tar.gz"
checksum: "md5=b07bfdb8913b07acc1dc7690d40fda08"
}