/
opam
32 lines (31 loc) · 1.01 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
opam-version: "2.0"
maintainer: "Martin Lucina <martin@lucina.net>"
homepage: "https://gmplib.org/"
license: ["LGPL-3.0-only" "LGPL-2.0-only"]
authors: "Torbjörn Granlund and contributors"
bug-reports: "mirageos-devel@lists.xenproject.org"
build: ["sh" "-ex" "./mirage-build.sh"]
install: ["sh" "-ex" "./mirage-install.sh"]
remove: [
"rm" "-rf"
"%{prefix}%/lib/pkgconfig/gmp-freestanding.pc"
"%{prefix}%/lib/gmp-freestanding"
]
depends: [
"ocaml"
"ocaml-freestanding" { < "0.5.0" }
"conf-m4" {build}
]
available: arch = "x86_64" | arch = "x86_64"
synopsis: "The GNU Multiple Precision Arithmetic Library"
description: "Freestanding build of GNU GMP."
flags: light-uninstall
extra-files: [
["mirage-install.sh" "md5=aca9a1c985326f95daa51aedef55b318"]
["mirage-build.sh" "md5=97c6a30f1359398ecaf5bdd8e95d24db"]
["gmp-freestanding.pc" "md5=dc5be7ab8745e93ac4fd723b291bba8b"]
]
url {
src: "https://gmplib.org/download/gmp/gmp-6.0.0a.tar.xz"
checksum: "md5=1e6da4e434553d2811437aa42c7f7c76"
}