this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Thomas Leonard <talex5@gmail.com>"
3homepage: "https://gmplib.org/"
4license: ["LGPL-3.0-only" "LGPL-2.0-only"]
5authors: "Torbjörn Granlund and contributors"
6
7patches: ["gmp-6a.diff"]
8build: ["sh" "-ex" "./mirage-build.sh"]
9install: ["sh" "-ex" "./mirage-install.sh"]
10remove: [
11 "rm" "-rf"
12 "%{prefix}%/lib/pkgconfig/gmp-xen.pc"
13 "%{prefix}%/lib/gmp-xen"
14]
15depends: [
16 "ocaml"
17 "mirage-xen-posix"
18 "conf-m4" {build}
19]
20synopsis: "The GNU Multiple Precision Arithmetic Library"
21flags: light-uninstall
22url {
23 src: "https://gmplib.org/download/gmp/gmp-6.0.0a.tar.xz"
24 checksum: [
25 "sha256=9156d32edac6955bc53b0218f5f3763facb890b73a835d5e1b901dcf8eb8b764"
26 "md5=1e6da4e434553d2811437aa42c7f7c76"
27 ]
28}
29extra-source "mirage-install.sh" {
30 src:
31 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/gmp-xen/mirage-install.sh"
32 checksum: [
33 "sha256=c1a55860eb025261bf70cbc378196e406ca70edcd5975aa6fecc0c6ca3158ee6"
34 "md5=208756962625681926dba3d6a2ec8a55"
35 ]
36}
37extra-source "mirage-build.sh" {
38 src:
39 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/gmp-xen/mirage-build.sh.6.0.0"
40 checksum: [
41 "sha256=69db4e12c3ed0d3c969466f04256149e8e132f30b2fc8adebc19f7dfbf4e9be4"
42 "md5=50e8d17938461d0c8fc08c525de8d013"
43 ]
44}
45extra-source "gmp-xen.pc" {
46 src:
47 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/gmp-xen/gmp-xen.pc"
48 checksum: [
49 "sha256=088c0827f4213ba3d26d2907b2ecad8fd703b43c7a2d43ef8654605e27759073"
50 "md5=4fd6b2b151153a75bf651502b38c84c3"
51 ]
52}
53extra-source "gmp-6a.diff" {
54 src:
55 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/gmp-xen/gmp-6a.diff"
56 checksum: [
57 "sha256=dfe44a84772a1491044b12defeed51752562b6f690edd73b775af94f09b612a4"
58 "md5=ef379d00b52fd8138627e8d13606736c"
59 ]
60}