anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #20471 from kkirstein/master

[new release] conf-gmp.4

authored by

Marcello Seri and committed by
GitHub f768cc0c c8cf8758

+48
+10
packages/conf-gmp/conf-gmp.4/files/test.c
··· 1 + #include <gmp.h> 2 + #ifndef __GMP_H__ 3 + #error "No GMP header" 4 + #endif 5 + 6 + void test(void) { 7 + mpz_t n; 8 + mpz_init(n); 9 + mpz_clear(n); 10 + }
+38
packages/conf-gmp/conf-gmp.4/opam
··· 1 + opam-version: "2.0" 2 + maintainer: "nbraud" 3 + homepage: "http://gmplib.org/" 4 + bug-reports: "https://github.com/ocaml/opam-repository/issues" 5 + license: "GPL-1.0-or-later" 6 + build: [ 7 + ["sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c"] {os != "macos" & 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 + "cc -c $CFLAGS -I/opt/homebrew/include -I/opt/local/include -I/usr/local/include test.c" 17 + ] {os = "macos"} 18 + ] 19 + depexts: [ 20 + ["libgmp-dev"] {os-family = "debian"} 21 + ["libgmp-dev"] {os-family = "ubuntu"} 22 + ["gmp"] {os = "macos" & os-distribution = "homebrew"} 23 + ["gmp"] {os-distribution = "macports" & os = "macos"} 24 + ["gmp" "gmp-devel"] {os-distribution = "centos"} 25 + ["gmp" "gmp-devel"] {os-distribution = "fedora"} 26 + ["gmp" "gmp-devel"] {os-distribution = "ol"} 27 + ["gmp"] {os = "openbsd"} 28 + ["gmp"] {os = "freebsd"} 29 + ["gmp-dev"] {os-distribution = "alpine"} 30 + ["gmp-devel"] {os-family = "suse"} 31 + ["mingw64-x86_64-gmp"] {os = "win32" & os-distribution = "cygwinports"} 32 + ] 33 + synopsis: "Virtual package relying on a GMP lib system installation" 34 + description: 35 + "This package can only install if the GMP lib is installed on the system." 36 + authors: "nbraud" 37 + extra-files: ["test.c" "md5=2fd2970c293c36222a6d299ec155823f"] 38 + flags: conf