opam

opam-version: "2.0"
authors: "Xavier Leroy"
maintainer: "mirageos-devel"
homepage: "https://forge.ocamlcore.org/projects/zarith"
bug-reports:  "mirageos-devel@lists.xenproject.org"
build: ["sh" "-eux" "./mirage-build.sh"]
install: ["sh" "-eux" "./mirage-install.sh"]
remove: ["sh" "-eux" "./mirage-uninstall.sh"]
depends: [
  "ocaml"
  "ocaml-freestanding" {>= "0.4.1" & < "0.7.0"}
  "gmp-freestanding" {>= "6.1.2-2"}
  "zarith" {= "1.7"}
  "ocamlfind" {build}
]
patches: [ "no-dynlink.patch" ]
synopsis:
  "Implements arithmetic and logical operations over arbitrary-precision integers"
description: """
The Zarith library implements arithmetic and logical operations over
arbitrary-precision integers. It uses GMP to efficiently implement
arithmetic over big integers. Small integers are represented as Caml
unboxed integers, for speed and space economy."""
url {
  src: "https://github.com/ocaml/Zarith/archive/release-1.7.tar.gz"
  checksum: [
    "sha256=d641bb66d04461111b75f2fc37ad1eec764dcf326d98a51ac078695baea2ab3a"
    "md5=80944e2755ebb848451a77dc2ad0651b"
  ]
}
extra-source "no-dynlink.patch" {
  src:
    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/zarith-freestanding/no-dynlink.patch.1.7-1"
  checksum: [
    "sha256=c6326402af2c93c758ddb05e31b4bd2a0d0f9d0cd2b1d8bd9d64681dcb7079c0"
    "md5=eff128f04dd08b0e5a02e49c99dc518b"
  ]
}
extra-source "mirage-uninstall.sh" {
  src:
    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/zarith-freestanding/mirage-uninstall.sh.1.7-1"
  checksum: [
    "sha256=b8175f6d93e58b95356402315bcfc26b28b9af0e1127c345271f008caa38e701"
    "md5=de37d98a1987c89bc53a7a032b7278df"
  ]
}
extra-source "mirage-install.sh" {
  src:
    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/zarith-freestanding/mirage-install.sh.1.7-1"
  checksum: [
    "sha256=70eae013b69e2d6667dd5883db62baf3ab93d0fc0650ef9e0375d5a2f9f8abb8"
    "md5=f195dd0b56296a61d3233389c032a03d"
  ]
}
extra-source "mirage-build.sh" {
  src:
    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/zarith-freestanding/mirage-build.sh.1.7-1"
  checksum: [
    "sha256=d9193ded9a0a4619b1535072922ef689dd4ba75d38dd7dbc7007d48562c4dbc3"
    "md5=965e4b33ed871a73436223177d104876"
  ]
}