this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Xavier Leroy <xavier.leroy@inria.fr>"
3authors: [
4 "Antoine Miné"
5 "Xavier Leroy"
6 "Pascal Cuoq"
7]
8homepage: "https://github.com/ocaml/Zarith"
9bug-reports: "https://github.com/ocaml/Zarith/issues"
10dev-repo: "git+https://github.com/ocaml/Zarith.git"
11build: [
12 ["./configure"] {os != "openbsd" & os != "freebsd" & os != "macos"}
13 [
14 "sh"
15 "-exc"
16 "LDFLAGS=\"$LDFLAGS -L/usr/local/lib\" CFLAGS=\"$CFLAGS -I/usr/local/include\" ./configure"
17 ] {os = "openbsd" | os = "freebsd"}
18 [
19 "sh"
20 "-exc"
21 "LDFLAGS=\"$LDFLAGS -L/opt/local/lib -L/usr/local/lib\" CFLAGS=\"$CFLAGS -I/opt/local/include -I/usr/local/include\" ./configure"
22 ] {os = "macos"}
23 [make]
24]
25install: [
26 [make "install"]
27]
28depends: [
29 "ocaml"
30 "ocamlfind" {build}
31 "conf-gmp"
32 "conf-perl" {build}
33]
34synopsis:
35 "Implements arithmetic and logical operations over arbitrary-precision integers"
36description: """
37The Zarith library implements arithmetic and logical operations over
38arbitrary-precision integers. It uses GMP to efficiently implement
39arithmetic over big integers. Small integers are represented as Caml
40unboxed integers, for speed and space economy."""
41url {
42 src: "https://github.com/ocaml/Zarith/archive/release-1.9.1.tar.gz"
43 checksum: [
44 "md5=af41b7534a4c91a8f774f04e307c1c66"
45 "sha512=e77620c66a59d35811acfc45c7ef3f0d50d3042194654b1f5b652a2ed5fb9d5f88e9173222e5ced286c61854434da05a4d96668089faa66ff2917afa677fc32f"
46 ]
47}