this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "thomas.braibant@gmail.com"
3authors: "Xavier Leroy"
4homepage: "https://forge.ocamlcore.org/projects/zarith"
5build: [
6 ["./configure"] {os != "openbsd" & os != "freebsd" & os != "macos"}
7 [
8 "env"
9 "LDFLAGS=-L/usr/local/lib"
10 "CFLAGS=-I/usr/local/include"
11 "./configure"
12 ] {os = "openbsd" | os = "freebsd" | os = "macos"}
13 [make]
14]
15install: [
16 [make "install"]
17]
18remove: ["ocamlfind" "remove" "zarith"]
19depends: [
20 "ocaml"
21 "ocamlfind"
22 "conf-gmp"
23 "conf-perl" {build}
24]
25patches: [ "z_pp.pl.patch" ]
26synopsis:
27 "Implements arithmetic and logical operations over arbitrary-precision integers"
28description: """
29The Zarith library implements arithmetic and logical operations over
30arbitrary-precision integers. It uses GMP to efficiently implement
31arithmetic over big integers. Small integers are represented as Caml
32unboxed integers, for speed and space economy."""
33flags: light-uninstall
34url {
35 src: "https://download.ocamlcore.org/zarith/Zarith/1.4/zarith-1.4.tgz"
36 checksum: [
37 "sha256=98bc21d9e86c3726b5641e0a4c6e859a1bf52b3f691344187e432760386b4861"
38 "md5=8967de3cf9eabe1d73b663bc9916657d"
39 ]
40}
41extra-source "z_pp.pl.patch" {
42 src:
43 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/zarith/z_pp.pl.patch.1.4"
44 checksum: [
45 "sha256=64ec498df705de6e4cf915e2cee6e7b54a0b11d140a0502cdcc9155596711b5b"
46 "md5=91205dc2130807273fb83a00a3b54215"
47 ]
48}