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" prefix make]
install: ["sh" "-eux" "./mirage-install.sh" prefix]
remove: ["sh" "-eux" "./mirage-uninstall.sh" prefix]
depends: [
  "ocaml"
  "ocaml-freestanding" {>= "0.4.1"}
  "gmp-freestanding" {>= "6.1.2-2"}
  "zarith" {= "1.10"}
  "ocamlfind" {build}
  "conf-pkg-config" {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."""
extra-files: [
  ["mirage-uninstall.sh" "md5=33f0c41ca3ef941f73fc566977b32453"]
  ["mirage-install.sh" "md5=4eb793d6246c80eacebb201694cf3a3e"]
  ["mirage-build.sh" "md5=ccca36c5e3632bbb788bce15b4487f77"]
  ["no-dynlink.patch" "md5=2437531740d788bbeba56241d54debc2"]
]
url {
  src: "https://github.com/ocaml/Zarith/archive/release-1.10.tar.gz"
  checksum: [
    "md5=21f01e86596665d2f3a79f70162e81c9"
    "sha512=94958feccd3be863b4bcc7887f5108099962402ab6eddbae42420cd04323aafe930dac75c6f1f3d50d8f57cdd2108f1b25546999bac3f03a0a682127d5b67612"
  ]
}
