this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "https://github.com/ocaml/opam-repository/issues"
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 "CC=cc"
11 "CFLAGS=-I/usr/local/include -O3 -Wall -Wextra"
12 "./configure"
13 ] {os = "openbsd" | os = "freebsd" | os = "macos"}
14 [make]
15]
16remove: ["ocamlfind" "remove" "zarith"]
17depends: [
18 "ocaml" {< "5.0"}
19 "ocamlfind"
20 "conf-gmp"
21 "conf-perl" {build}
22]
23patches: [ "z_pp.pl.patch" ]
24install: [make "install"]
25synopsis:
26 "Implements arithmetic and logical operations over arbitrary-precision integers"
27description: """
28The Zarith library implements arithmetic and logical operations over
29arbitrary-precision integers. It uses GMP to efficiently implement
30arithmetic over big integers. Small integers are represented as Caml
31unboxed integers, for speed and space economy."""
32flags: light-uninstall
33url {
34 src: "https://download.ocamlcore.org/zarith/Zarith/1.3/zarith-1.3.tgz"
35 checksum: [
36 "sha256=946687d6f032b96ab9db9661d876e39437bff783e0ad473ac463c06259b7a3d7"
37 "md5=9ed8ddafdebfa8c1b673dbe91a181f66"
38 ]
39}
40extra-source "z_pp.pl.patch" {
41 src:
42 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/zarith/z_pp.pl.patch.1.3"
43 checksum: [
44 "sha256=5fc46d48b37942942485218795c2395ca28fed6673f049fa8bc3f3db80361ab7"
45 "md5=e138d44f86858d55c6e0911e1517ed2e"
46 ]
47}