+9 -2

packages/conf-gmp-powm-sec/conf-gmp-powm-sec.3/opam

reviewed

··· 4 4 bug-reports: "https://github.com/ocaml/opam-repository/issues" 5 5 license: "GPL-1.0-or-later" 6 6 build: [ 7 7 - ["sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c"] {os != "macos"} 7 7 + ["sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c"] {os != "macos" & os != "win32"} 8 8 + ["sh" "-exc" 9 9 + "%{host-arch-x86_64:installed?x86_64:}%%{host-arch-x86_32:installed?i686:}%-w64-mingw32-gcc -c $CFLAGS test.c" 10 10 + ] {os = "win32"} 8 11 [ 9 12 "sh" 10 13 "-exc" 11 14 "cc -c $CFLAGS -I/opt/homebrew/include -I/opt/local/include -I/usr/local/include test.c" 12 15 ] {os = "macos"} 13 16 ] 14 14 - depends: ["conf-gmp"] 17 17 + depends: [ 18 18 + "conf-gmp" 19 19 + ("host-arch-x86_32" {os = "win32" & os-distribution != "cygwinports"} | 20 20 + "host-arch-x86_64" {os = "win32" & os-distribution != "cygwinports"}) 21 21 + ] 15 22 synopsis: 16 23 "Virtual package relying on a GMP lib with constant-time modular exponentiation" 17 24 description: """

+9

packages/conf-gmp/conf-gmp.4/opam

reviewed

··· 15 15 "-exc" 16 16 "cc -c $CFLAGS -I/opt/homebrew/include -I/opt/local/include -I/usr/local/include test.c" 17 17 ] {os = "macos"} 18 18 + [ 19 19 + "sh" 20 20 + "-exc" 21 21 + "%{host-arch-x86_64:installed?x86_64:}%%{host-arch-x86_32:installed?i686:}%-w64-mingw32-gcc -c $CFLAGS test.c" 22 22 + ] {os = "win32" & os-distribution != "cygwinports"} 23 23 + ] 24 24 + depends: [ 25 25 + (("host-arch-x86_32" {os = "win32" & os-distribution != "cygwinports"} & "conf-mingw-w64-gmp-i686" {os = "win32" & os-distribution != "cygwinports"}) | 26 26 + ("host-arch-x86_64" {os = "win32" & os-distribution != "cygwinports"} & "conf-mingw-w64-gmp-x86_64" {os = "win32" & os-distribution != "cygwinports"})) 18 27 ] 19 28 depexts: [ 20 29 ["libgmp-dev"] {os-family = "debian"}

+21

packages/conf-mingw-w64-gmp-i686/conf-mingw-w64-gmp-i686.1/opam

reviewed

··· 1 1 + opam-version: "2.0" 2 2 + synopsis: "Virtual package for libgmp on i686 mingw-w64 (32-bit x86)" 3 3 + description: "Ensures the i686 version of libgmp for the mingw-w64 project is available" 4 4 + maintainer: "David Allsopp <david@tarides.com>" 5 5 + authors: "Torbjörn Granlund et al" 6 6 + license: "GPL-1.0-or-later" 7 7 + homepage: "http://gmplib.org/" 8 8 + bug-reports: "https://github.com/ocaml/opam-repository/issues" 9 9 + flags: conf 10 10 + available: os = "win32" 11 11 + build: ["pkgconf" "--personality=i686-w64-mingw32" {os-distribution = "cygwin"} "gmp"] 12 12 + depends: [ 13 13 + "msys2" {build & os = "win32" & os-distribution = "msys2"} 14 14 + "msys2-mingw32" {os = "win32" & os-distribution = "msys2"} 15 15 + "conf-pkg-config" {build} 16 16 + "conf-mingw-w64-gcc-i686" {build} 17 17 + ] 18 18 + depexts: [ 19 19 + ["mingw64-i686-gmp"] {os = "win32" & os-distribution = "cygwin"} 20 20 + ["mingw-w64-i686-gmp"] {os = "win32" & os-distribution = "msys2"} 21 21 + ]

+21

packages/conf-mingw-w64-gmp-x86_64/conf-mingw-w64-gmp-x86_64.1/opam

reviewed

··· 1 1 + opam-version: "2.0" 2 2 + synopsis: "Virtual package for libgmp on x86_64 mingw-w64 (64-bit x86_64)" 3 3 + description: "Ensures the x86_64 version of libgmp for the mingw-w64 project is available" 4 4 + maintainer: "David Allsopp <david@tarides.com>" 5 5 + authors: "Torbjörn Granlund et al" 6 6 + license: "GPL-1.0-or-later" 7 7 + homepage: "http://gmplib.org/" 8 8 + bug-reports: "https://github.com/ocaml/opam-repository/issues" 9 9 + flags: conf 10 10 + available: os = "win32" 11 11 + build: ["pkgconf" "--personality=x86_64-w64-mingw32" {os-distribution = "cygwin"} "gmp"] 12 12 + depends: [ 13 13 + "msys2" {build & os = "win32" & os-distribution = "msys2"} 14 14 + "msys2-mingw64" {os = "win32" & os-distribution = "msys2"} 15 15 + "conf-pkg-config" {build} 16 16 + "conf-mingw-w64-gcc-x86_64" {build} 17 17 + ] 18 18 + depexts: [ 19 19 + ["mingw64-x86_64-gmp"] {os = "win32" & os-distribution = "cygwin"} 20 20 + ["mingw-w64-x86_64-gmp"] {os = "win32" & os-distribution = "msys2"} 21 21 + ]