opam-version: "2.0"
maintainer:   "Thomas Leonard <talex5@gmail.com>"
homepage:     "https://gmplib.org/"
license:      ["LGPL-3.0-only" "LGPL-2.0-only"]
authors:      "Torbjörn Granlund and contributors"

patches: ["gmp-6a.diff"]
build:   ["sh" "-ex" "./mirage-build.sh"]
install: ["sh" "-ex" "./mirage-install.sh"]
remove: [
  "rm" "-rf"
    "%{prefix}%/lib/pkgconfig/gmp-xen.pc"
    "%{prefix}%/lib/gmp-xen"
]
depends: [
  "ocaml"
  "mirage-xen-posix"
  "conf-m4" {build}
]
synopsis: "The GNU Multiple Precision Arithmetic Library"
flags: light-uninstall
extra-files: [
  ["mirage-install.sh" "md5=208756962625681926dba3d6a2ec8a55"]
  ["mirage-build.sh" "md5=7dff6a4104bcdf01be7f0be0a6d71afc"]
  ["gmp-xen.pc" "md5=4fd6b2b151153a75bf651502b38c84c3"]
  ["gmp-6a.diff" "md5=ef379d00b52fd8138627e8d13606736c"]
]
url {
  src: "https://gmplib.org/download/gmp/gmp-6.0.0a.tar.xz"
  checksum: "md5=1e6da4e434553d2811437aa42c7f7c76"
}
