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.10.tar.gz"
43 checksum: [
44 "md5=21f01e86596665d2f3a79f70162e81c9"
45 "sha512=94958feccd3be863b4bcc7887f5108099962402ab6eddbae42420cd04323aafe930dac75c6f1f3d50d8f57cdd2108f1b25546999bac3f03a0a682127d5b67612"
46 ]
47}