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.12"}
  "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=a6a99400f2d0ff50b9b4401ef6a98a4c"]
]
url {
  src: "https://github.com/ocaml/Zarith/archive/release-1.12.tar.gz"
  checksum: [
    "md5=bf368f3d9e20b6b446d54681afc05a04"
    "sha512=8075573ae65579a2606b37dd1b213032a07d220d28c733f9288ae80d36f8a2cc4d91632806df2503c130ea9658dc207ee3a64347c21aa53969050a208f5b2bb4"
  ]
}