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" & os-distribution != "homebrew"}
23 [
24 "sh"
25 "-exc"
26 "LDFLAGS=\"$LDFLAGS -L/opt/local/lib -L/usr/local/lib\" CFLAGS=\"$CFLAGS -I/opt/local/include -I/usr/local/include\" ./configure"
27 ] {os = "macos" & os-distribution = "homebrew" & arch = "x86_64" }
28 [
29 "sh"
30 "-exc"
31 "LDFLAGS=\"$LDFLAGS -L/opt/homebrew/lib\" CFLAGS=\"$CFLAGS -I/opt/homebrew/include\" ./configure"
32 ] {os = "macos" & os-distribution = "homebrew" & arch = "arm64" }
33 [make]
34]
35install: [
36 [make "install"]
37]
38depends: [
39 "ocaml" {>= "4.04.0"}
40 "ocamlfind"
41 "conf-gmp"
42]
43synopsis:
44 "Implements arithmetic and logical operations over arbitrary-precision integers"
45description: """
46The Zarith library implements arithmetic and logical operations over
47arbitrary-precision integers. It uses GMP to efficiently implement
48arithmetic over big integers. Small integers are represented as Caml
49unboxed integers, for speed and space economy."""
50url {
51 src: "https://github.com/ocaml/Zarith/archive/release-1.12.tar.gz"
52 checksum: [
53 "md5=bf368f3d9e20b6b446d54681afc05a04"
54 "sha512=8075573ae65579a2606b37dd1b213032a07d220d28c733f9288ae80d36f8a2cc4d91632806df2503c130ea9658dc207ee3a64347c21aa53969050a208f5b2bb4"
55 ]
56}