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"] {os = "openbsd"}
21 ["gmp"] {os = "freebsd"}
22 ["gmp-dev"] {os-distribution = "alpine"}
23 ["gmp-devel"] {os-family = "suse" | os-family = "opensuse"}
24 ["gmp"] {os = "win32" & os-distribution = "cygwinports"}
25]
26synopsis: "Virtual package relying on a GMP lib system installation"
27description:
28 "This package can only install if the GMP lib is installed on the system."
29authors: "nbraud"
30flags: conf
31extra-source "test.c" {
32 src:
33 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-gmp/test.c.1"
34 checksum: [
35 "sha256=6750f7c6b37abb3a7f55ac5d86d2c0404e5e085877f6fe1cd62f875873ce4181"
36 "md5=ec8cc21ab709bdd57103de36e7b0b53f"
37 ]
38}