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]
35patches: [ "absolute_CC.patch" ]
36synopsis:
37 "Implements arithmetic and logical operations over arbitrary-precision integers"
38description: """
39The Zarith library implements arithmetic and logical operations over
40arbitrary-precision integers. It uses GMP to efficiently implement
41arithmetic over big integers. Small integers are represented as Caml
42unboxed integers, for speed and space economy."""
43flags: light-uninstall
44url {
45 src: "https://github.com/ocaml/Zarith/archive/release-1.7.tar.gz"
46 checksum: [
47 "sha256=d641bb66d04461111b75f2fc37ad1eec764dcf326d98a51ac078695baea2ab3a"
48 "md5=80944e2755ebb848451a77dc2ad0651b"
49 ]
50}
51extra-source "absolute_CC.patch" {
52 src:
53 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/zarith/absolute_CC.patch"
54 checksum: [
55 "sha256=5110eaa7c7c4c403504f3cdebc555125487658c83db0a64fffcd17b312b16dbd"
56 "md5=8699b1d3d9340f9443e2ce0c8677190d"
57 ]
58}