+7

packages/conf-gmp-paths/conf-gmp-paths.1/files/test-gmp.c

reviewed

··· 1 1 + #include <gmp.h> 2 2 + int main () { 3 3 + mpz_t n; 4 4 + mpz_init (n); 5 5 + mpz_clear (n); 6 6 + return 1; 7 7 + }

+41

packages/conf-gmp-paths/conf-gmp-paths.1/opam

reviewed

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

+9

packages/conf-mpfr-paths/conf-mpfr-paths.1/files/test-mpfr.c

reviewed

··· 1 1 + #include <stdio.h> 2 2 + #include <mpfr.h> 3 3 + 4 4 + int main (void) { 5 5 + printf ("MPFR library: %-12s\nMPFR header: %s (based on %d.%d.%d)\n", 6 6 + mpfr_get_version (), MPFR_VERSION_STRING, MPFR_VERSION_MAJOR, 7 7 + MPFR_VERSION_MINOR, MPFR_VERSION_PATCHLEVEL); 8 8 + return 0; 9 9 + }

+45

packages/conf-mpfr-paths/conf-mpfr-paths.1/opam

reviewed

··· 1 1 + opam-version: "2.0" 2 2 + synopsis: "Virtual package relying on library MPFR installation" 3 3 + description: 4 4 + "This package can only install if the MPFR library is installed on the system." 5 5 + maintainer: "Nicolas Berthier <m@nberth.space>" 6 6 + authors: "http://www.mpfr.org/credit.html" 7 7 + homepage: "http://gmplib.org/" 8 8 + bug-reports: "https://github.com/ocaml/opam-repository/issues" 9 9 + license: "GPL-1.0-or-later" 10 10 + build: [ 11 11 + [ "sh" ez-conf-lib:exe "mpfr" "mpfr.h" "test-mpfr.c" 12 12 + "CPPFLAGS+=-I%{conf-gmp-paths:incdir}%" 13 13 + "LDFLAGS+=-L%{conf-gmp-paths:libdir}%" 14 14 + "LIBS+=-lgmp" 15 15 + "--package-name" "conf-mpfr-paths" 16 16 + "--" 17 17 + "/usr/local" {os != "macos" & os != "win32"} 18 18 + "/opt/homebrew" {os = "macos"} 19 19 + "/opt/local" {os = "macos"} ] 20 20 + ] 21 21 + depends: [ 22 22 + "ez-conf-lib" {build} 23 23 + "conf-gmp-paths" {build} 24 24 + ] 25 25 + post-messages: [ 26 26 + "header file found in %{_:incdir}%" { success } 27 27 + "library file found in %{_:libdir}%" { success } 28 28 + ] 29 29 + depexts: [ 30 30 + ["libmpfr-dev"] {os-family = "debian"} 31 31 + ["libmpfr-dev"] {os-family = "ubuntu"} 32 32 + ["mpfr-devel"] {os-distribution = "fedora"} 33 33 + ["mpfr-devel"] {os-distribution = "ol"} 34 34 + ["mpfr-devel"] {os-distribution = "centos"} 35 35 + ["mpfr"] {os = "macos" & os-distribution = "homebrew"} 36 36 + ["mpfr"] {os = "macos" & os-distribution = "macports"} 37 37 + ["mpfr"] {os = "freebsd"} 38 38 + ["mpfr"] {os = "openbsd"} 39 39 + ["mpfr"] {os-family = "arch"} 40 40 + ["mpfr-dev"] {os-family = "alpine"} 41 41 + ["mpfr-devel"] {os-family = "suse"} 42 42 + ["mpfr"] {os = "win32" & os-distribution = "cygwinports"} 43 43 + ] 44 44 + extra-files: ["test-mpfr.c" "md5=60677273f1781840669e5a897df5d645"] 45 45 + flags: conf

+23

packages/ez-conf-lib/ez-conf-lib.1/opam

reviewed

··· 1 1 + opam-version: "2.0" 2 2 + synopsis: "Simple generator of conf-<pkg>.config files" 3 3 + description: 4 4 + "This package provides a simplistic utility that \ 5 5 + helps writing virtual packages used to detect system libraries" 6 6 + authors: ["Nicolas Berthier"] 7 7 + maintainer: "Nicolas Berthier <m@nberth.space>" 8 8 + homepage: "https://github.com/nberth/ez-conf-lib" 9 9 + dev-repo: "git+https://github.com/nberth/ez-conf-lib.git" 10 10 + bug-reports: "https://github.com/nberth/ez-conf-lib/issues" 11 11 + license: "GPL-3.0-only" 12 12 + build: [ 13 13 + [ "sh" "-ecx" "sed -e 's_@@ez-conf-lib:lib@@_%{_:lib}%_g' \ 14 14 + ez-conf-lib.config.in > ez-conf-lib.config" ] 15 15 + ] 16 16 + depends: [ 17 17 + "ocaml" 18 18 + "conf-findutils" 19 19 + ] 20 20 + url { 21 21 + src: "https://github.com/nberth/ez-conf-lib/archive/main.tar.gz" 22 22 + checksum: "sha512=f223a9cd0ecd3dada1bc06f0ff1492eb776ce63b6c3f79f97f6e1246a85a8f159be45d6b5a6b44f42c21ba00a536f7e763d934a397fcd3428319095bb7cec6aa" 23 23 + }