this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Virtual package relying on a GMP lib system installation"
3description:
4 "This package can only install if the GMP lib is installed on the system."
5maintainer: "Nicolas Berthier <m@nberth.space>"
6authors: "https://gmplib.org/manual/Contributors"
7homepage: "http://gmplib.org/"
8bug-reports: "https://github.com/ocaml/opam-repository/issues"
9license: "GPL-1.0-or-later"
10build: [
11 [ "sh" ez-conf-lib:exe "gmp" "gmp.h" "test-gmp.c"
12 "--package-name" "conf-gmp-paths"
13 "--"
14 "/usr/local" {os != "macos" & os != "win32"}
15 "/opt/homebrew" {os = "macos"}
16 "/opt/local" {os = "macos"} ]
17]
18depends: [
19 "ez-conf-lib" {build}
20]
21post-messages: [
22 "header file found in %{_:incdir}%" { success }
23 "library file found in %{_:libdir}%" { success }
24]
25depexts: [
26 ["libgmp-dev"] {os-family = "debian"}
27 ["libgmp-dev"] {os-family = "ubuntu"}
28 ["gmp"] {os = "macos" & os-distribution = "homebrew"}
29 ["gmp"] {os-distribution = "macports" & os = "macos"}
30 ["gmp" "gmp-devel"] {os-distribution = "centos"}
31 ["gmp" "gmp-devel"] {os-distribution = "fedora"}
32 ["gmp" "gmp-devel"] {os-distribution = "ol"}
33 ["gmp"] {os = "openbsd"}
34 ["gmp"] {os = "freebsd"}
35 ["gmp-dev"] {os-distribution = "alpine"}
36 ["gmp-devel"] {os-family = "suse"}
37 ["gmp"] {os = "win32" & os-distribution = "cygwinports"}
38 ["gmp"] {os-distribution = "nixos"}
39]
40flags: conf
41extra-source "test-gmp.c" {
42 src:
43 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-gmp-paths/test-gmp.c"
44 checksum: [
45 "sha256=5045c3ff6eb241d144e0dac0fd96c6a1d55f61e80addb47fa0261363f45d6685"
46 "md5=f87da5edbfcb8f70ef0297d78ca37aef"
47 ]
48}