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 WITH OCaml-LGPL-linking-exception"
build: [
  ["sh" "./configure" "--absolute-dylibs" {os = "macos"}]
  [make]
]
install: [
  [make "install"]
]
remove: [
  ["ocamlfind" "remove" "gmp"]
]
depends: [
  "ocaml" {>= "3.12.1" & < "4.09.0"}
  "ocamlfind" {build}
  "camlidl" {< "1.10"}
  "conf-gmp"
  "conf-mpfr"
  "conf-perl" {build}
]
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.6-1.tar.gz"
  checksum: [
    "sha256=49c26d2b576d641e09e3c5f2016b9930248c49c00d8b09c254ce251abb5925b1"
    "md5=0ebb8233ccfa09a05b3078f50823af3c"
  ]
}