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]
28remove: ["ocamlfind" "remove" "zarith"]
29depends: [
30 "ocaml"
31 "ocamlfind"
32 "conf-gmp"
33 "conf-perl" {build}
34]
35synopsis:
36 "Implements arithmetic and logical operations over arbitrary-precision integers"
37description: """
38The Zarith library implements arithmetic and logical operations over
39arbitrary-precision integers. It uses GMP to efficiently implement
40arithmetic over big integers. Small integers are represented as Caml
41unboxed integers, for speed and space economy."""
42flags: light-uninstall
43url {
44 src: "https://github.com/ocaml/Zarith/archive/release-1.7.tar.gz"
45 checksum: [
46 "sha256=d641bb66d04461111b75f2fc37ad1eec764dcf326d98a51ac078695baea2ab3a"
47 "md5=80944e2755ebb848451a77dc2ad0651b"
48 ]
49}