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
url {
  src: "https://gmplib.org/download/gmp/gmp-6.0.0a.tar.xz"
  checksum: [
    "sha256=9156d32edac6955bc53b0218f5f3763facb890b73a835d5e1b901dcf8eb8b764"
    "md5=1e6da4e434553d2811437aa42c7f7c76"
  ]
}
extra-source "mirage-install.sh" {
  src:
    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/gmp-xen/mirage-install.sh"
  checksum: [
    "sha256=c1a55860eb025261bf70cbc378196e406ca70edcd5975aa6fecc0c6ca3158ee6"
    "md5=208756962625681926dba3d6a2ec8a55"
  ]
}
extra-source "mirage-build.sh" {
  src:
    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/gmp-xen/mirage-build.sh.6.0.0"
  checksum: [
    "sha256=69db4e12c3ed0d3c969466f04256149e8e132f30b2fc8adebc19f7dfbf4e9be4"
    "md5=50e8d17938461d0c8fc08c525de8d013"
  ]
}
extra-source "gmp-xen.pc" {
  src:
    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/gmp-xen/gmp-xen.pc"
  checksum: [
    "sha256=088c0827f4213ba3d26d2907b2ecad8fd703b43c7a2d43ef8654605e27759073"
    "md5=4fd6b2b151153a75bf651502b38c84c3"
  ]
}
extra-source "gmp-6a.diff" {
  src:
    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/gmp-xen/gmp-6a.diff"
  checksum: [
    "sha256=dfe44a84772a1491044b12defeed51752562b6f690edd73b775af94f09b612a4"
    "md5=ef379d00b52fd8138627e8d13606736c"
  ]
}