-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
62 lines (62 loc) · 2.31 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
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"]
install: ["sh" "-eux" "./mirage-install.sh"]
remove: ["sh" "-eux" "./mirage-uninstall.sh"]
depends: [
"ocaml"
"ocaml-freestanding" {>= "0.4.1" & < "0.7.0"}
"gmp-freestanding" {>= "6.1.2-2"}
"zarith" {= "1.9.1"}
"ocamlfind" {build}
]
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.9.1.tar.gz"
checksum: [
"md5=af41b7534a4c91a8f774f04e307c1c66"
"sha512=e77620c66a59d35811acfc45c7ef3f0d50d3042194654b1f5b652a2ed5fb9d5f88e9173222e5ced286c61854434da05a4d96668089faa66ff2917afa677fc32f"
]
}
extra-source "no-dynlink.patch" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/zarith-freestanding/no-dynlink.patch.1.9.1"
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.9.1"
checksum: [
"sha256=b8175f6d93e58b95356402315bcfc26b28b9af0e1127c345271f008caa38e701"
"md5=de37d98a1987c89bc53a7a032b7278df"
]
}
extra-source "mirage-install.sh" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/zarith-freestanding/mirage-install.sh.1.9.1"
checksum: [
"sha256=70eae013b69e2d6667dd5883db62baf3ab93d0fc0650ef9e0375d5a2f9f8abb8"
"md5=f195dd0b56296a61d3233389c032a03d"
]
}
extra-source "mirage-build.sh" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/zarith-freestanding/mirage-build.sh.1.9.1"
checksum: [
"sha256=ca68cd0089ebca181e8d47c9d6a0f8e418d12c4e340203b8aa4ff9cd1213ad30"
"md5=d8585e00ab3353746f2fc4c15abe7cfa"
]
}