opam-version: "2.0"
authors: "Xavier Leroy"
maintainer: "mirageos-devel"
homepage: "https://forge.ocamlcore.org/projects/zarith"
patches: ["xen_linkopts.patch"]
install: [
  ["sh" "-eux" "./mirage-install.sh"]
]
remove: [
  ["rm" "-f" "%{prefix}%/lib/zarith/libzarith-xen.a"]
  ["mv" "%{prefix}%/lib/zarith/META.old" "%{prefix}%/lib/zarith/META"]
]
depends: [
  "ocaml"
  "mirage-xen-posix"
  "gmp-xen"
  "zarith" {>= "1.3" & < "1.4"}
  "ocamlfind" {build}
]
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."""
extra-files: [
  ["xen_linkopts.patch" "md5=bfcb9eba4d6790dfb6e48b7533d91ad7"]
  ["mirage-install.sh" "md5=dc7670c682280ed402e3937d4d6fbe04"]
]
url {
  src: "https://download.ocamlcore.org/zarith/Zarith/1.3/zarith-1.3.tgz"
  checksum: "md5=9ed8ddafdebfa8c1b673dbe91a181f66"
}
