this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Virtual package relying on library MPFR installation"
3description:
4 "This package can only install if the MPFR library is installed on the system."
5maintainer: "Nicolas Berthier <m@nberth.space>"
6authors: "http://www.mpfr.org/credit.html"
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 "mpfr" "mpfr.h" "test-mpfr.c"
12 "CPPFLAGS+=-I%{conf-gmp-paths:incdir}%"
13 "LDFLAGS+=-L%{conf-gmp-paths:libdir}%"
14 "LIBS+=-lgmp"
15 "--package-name" "conf-mpfr-paths"
16 "--"
17 "/usr/local" {os != "macos" & os != "win32"}
18 "/opt/homebrew" {os = "macos"}
19 "/opt/local" {os = "macos"} ]
20]
21depends: [
22 "ez-conf-lib" {build}
23 "conf-gmp-paths" {build}
24]
25post-messages: [
26 "header file found in %{_:incdir}%" { success }
27 "library file found in %{_:libdir}%" { success }
28]
29depexts: [
30 ["libmpfr-dev"] {os-family = "debian"}
31 ["libmpfr-dev"] {os-family = "ubuntu"}
32 ["mpfr-devel"] {os-distribution = "fedora"}
33 ["mpfr-devel"] {os-distribution = "ol"}
34 ["mpfr-devel"] {os-distribution = "centos"}
35 ["mpfr"] {os = "macos" & os-distribution = "homebrew"}
36 ["mpfr"] {os = "macos" & os-distribution = "macports"}
37 # ["mpfr"] {os = "freebsd"}
38 ["mpfr"] {os = "openbsd"}
39 ["mpfr"] {os-family = "arch"}
40 ["mpfr-dev"] {os-family = "alpine"}
41 ["mpfr-devel"] {os-family = "suse"}
42 ["mpfr"] {os = "win32" & os-distribution = "cygwinports"}
43]
44available: [
45 os != "freebsd"
46]
47flags: conf
48extra-source "test-mpfr.c" {
49 src:
50 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-mpfr-paths/test-mpfr.c"
51 checksum: [
52 "sha256=91d52eff6bf82c0a8989b38bc2fe8484ddd605faad0a07303041e17b2fa83101"
53 "md5=60677273f1781840669e5a897df5d645"
54 ]
55}