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