this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "nbraud"
3homepage: "http://gmplib.org/"
4bug-reports: "https://github.com/ocaml/opam-repository/issues"
5license: "GPL-1.0-or-later"
6build: [
7 ["sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c"] {os != "macos"}
8 [
9 "sh"
10 "-exc"
11 "cc -c $CFLAGS -I/opt/local/include -I/usr/local/include test.c"
12 ] {os = "macos"}
13]
14depexts: [
15 ["libgmp-dev"] {os-family = "debian"}
16 ["gmp"] {os = "macos" & os-distribution = "homebrew"}
17 ["gmp"] {os-distribution = "macports" & os = "macos"}
18 ["gmp" "gmp-devel"] {os-distribution = "centos"}
19 ["gmp" "gmp-devel"] {os-distribution = "fedora"}
20 ["gmp" "gmp-devel"] {os-distribution = "ol"}
21 ["gmp"] {os = "openbsd"}
22 ["gmp"] {os = "freebsd"}
23 ["gmp-dev"] {os-distribution = "alpine"}
24 ["gmp-devel"] {os-family = "suse" | os-family = "opensuse"}
25 ["gmp"] {os = "win32" & os-distribution = "cygwinports"}
26]
27synopsis: "Virtual package relying on a GMP lib system installation"
28description:
29 "This package can only install if the GMP lib is installed on the system."
30authors: "nbraud"
31flags: conf
32extra-source "test.c" {
33 src:
34 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-gmp/test.c.2"
35 checksum: [
36 "sha256=54a30735f1f271a2531526747e75716f4490dd7bc1546efd6498ccfe3cc4d6fb"
37 "md5=2fd2970c293c36222a6d299ec155823f"
38 ]
39}