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