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" "-c" "pkg-config --print-errors --exists gmp || cc -c $CFLAGS -I/usr/local/include test.c"] { os != "win32" }
8 [
9 "sh"
10 "-exc"
11 "$(ocamlc -config-var c_compiler) -c $CFLAGS -I/usr/local/include test.c"
12 ] {os = "win32" & os-distribution = "cygwinports"}
13 [
14 "sh"
15 "-exc"
16 "%{host-arch-x86_64:installed?x86_64:}%%{host-arch-x86_32:installed?i686:}%-w64-mingw32-gcc -c $CFLAGS test.c"
17 ] {os = "win32" & os-distribution != "cygwinports"}
18]
19depends: [
20 "conf-pkg-config" {os = "macos"}
21 (("host-arch-x86_32" {os = "win32" & os-distribution != "cygwinports"} & "conf-mingw-w64-gmp-i686" {os = "win32" & os-distribution != "cygwinports"}) |
22 ("host-arch-x86_64" {os = "win32" & os-distribution != "cygwinports"} & "conf-mingw-w64-gmp-x86_64" {os = "win32" & os-distribution != "cygwinports"}))
23]
24depexts: [
25 ["libgmp-dev"] {os-family = "debian"}
26 ["libgmp-dev"] {os-family = "ubuntu"}
27 ["gmp"] {os = "macos" & os-distribution = "homebrew"}
28 ["gmp"] {os-distribution = "macports" & os = "macos"}
29 ["gmp" "gmp-devel"] {os-distribution = "centos"}
30 ["gmp" "gmp-devel"] {os-distribution = "fedora" | os-family = "fedora"}
31 ["gmp" "gmp-devel"] {os-distribution = "ol"}
32 ["gmp"] {os = "openbsd"}
33 ["gmp"] {os = "freebsd"}
34 ["gmp-dev"] {os-distribution = "alpine"}
35 ["gmp-devel"] {os-family = "suse" | os-family = "opensuse"}
36 ["gmp"] {os = "win32" & os-distribution = "cygwinports"}
37 ["gmp"] {os-distribution = "nixos"}
38]
39synopsis: "Virtual package relying on a GMP lib system installation"
40description:
41 "This package can only install if the GMP lib is installed on the system."
42authors: "nbraud"
43flags: conf
44extra-source "test.c" {
45 src:
46 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-gmp/test.c.4"
47 checksum: [
48 "sha256=54a30735f1f271a2531526747e75716f4490dd7bc1546efd6498ccfe3cc4d6fb"
49 "md5=2fd2970c293c36222a6d299ec155823f"
50 ]
51}