-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
63 lines (63 loc) · 2.37 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
opam-version: "2.0"
authors: "Xavier Leroy"
maintainer: "mirageos-devel"
homepage: "https://forge.ocamlcore.org/projects/zarith"
bug-reports: "mirageos-devel@lists.xenproject.org"
build: ["sh" "-eux" "./mirage-build.sh" prefix make]
install: ["sh" "-eux" "./mirage-install.sh" prefix]
remove: ["sh" "-eux" "./mirage-uninstall.sh" prefix]
depends: [
"ocaml"
"ocaml-freestanding" {>= "0.4.1" & < "0.7.0"}
"gmp-freestanding" {>= "6.1.2-2"}
"zarith" {= "1.10"}
"ocamlfind" {build}
"conf-pkg-config" {build & < "3"}
]
patches: [ "no-dynlink.patch" ]
synopsis:
"Implements arithmetic and logical operations over arbitrary-precision integers"
description: """
The Zarith library implements arithmetic and logical operations over
arbitrary-precision integers. It uses GMP to efficiently implement
arithmetic over big integers. Small integers are represented as Caml
unboxed integers, for speed and space economy."""
url {
src: "https://github.com/ocaml/Zarith/archive/release-1.10.tar.gz"
checksum: [
"md5=21f01e86596665d2f3a79f70162e81c9"
"sha512=94958feccd3be863b4bcc7887f5108099962402ab6eddbae42420cd04323aafe930dac75c6f1f3d50d8f57cdd2108f1b25546999bac3f03a0a682127d5b67612"
]
}
extra-source "no-dynlink.patch" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/zarith-freestanding/no-dynlink.patch.1.10"
checksum: [
"sha256=89b96237fefc9a72d4718dd190bd4314d21c4f6e207b52af4a393d251a733a49"
"md5=2437531740d788bbeba56241d54debc2"
]
}
extra-source "mirage-uninstall.sh" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/zarith-freestanding/mirage-uninstall.sh.1.10"
checksum: [
"sha256=27ea0c49209e386b11201a70477060cad1e2fc9200d3480c77e82d0ff381957e"
"md5=33f0c41ca3ef941f73fc566977b32453"
]
}
extra-source "mirage-install.sh" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/zarith-freestanding/mirage-install.sh.1.10"
checksum: [
"sha256=b2ffcb009d8600356d8938e4695bc3bc9b88021e8c7bf862d1bf459dd42b3881"
"md5=4eb793d6246c80eacebb201694cf3a3e"
]
}
extra-source "mirage-build.sh" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/zarith-freestanding/mirage-build.sh.1.10"
checksum: [
"sha256=cad6be1624017213abdc0dd0603053473fc63b1747e3cf3d9743023440808fa7"
"md5=ccca36c5e3632bbb788bce15b4487f77"
]
}