this repo has no description
Add configuration for gmp under mingw
Co-authored-by: David Allsopp <david.allsopp@metastack.com>
+60
-2
+9
-2
packages/conf-gmp-powm-sec/conf-gmp-powm-sec.3/opam
+9
-2
packages/conf-gmp-powm-sec/conf-gmp-powm-sec.3/opam
···
4
4
bug-reports: "https://github.com/ocaml/opam-repository/issues"
5
5
license: "GPL-1.0-or-later"
6
6
build: [
7
-
["sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c"] {os != "macos"}
7
+
["sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c"] {os != "macos" & os != "win32"}
8
+
["sh" "-exc"
9
+
"%{host-arch-x86_64:installed?x86_64:}%%{host-arch-x86_32:installed?i686:}%-w64-mingw32-gcc -c $CFLAGS test.c"
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
-
depends: ["conf-gmp"]
17
+
depends: [
18
+
"conf-gmp"
19
+
("host-arch-x86_32" {os = "win32" & os-distribution != "cygwinports"} |
20
+
"host-arch-x86_64" {os = "win32" & os-distribution != "cygwinports"})
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
+9
packages/conf-gmp/conf-gmp.4/opam
···
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
+
[
19
+
"sh"
20
+
"-exc"
21
+
"%{host-arch-x86_64:installed?x86_64:}%%{host-arch-x86_32:installed?i686:}%-w64-mingw32-gcc -c $CFLAGS test.c"
22
+
] {os = "win32" & os-distribution != "cygwinports"}
23
+
]
24
+
depends: [
25
+
(("host-arch-x86_32" {os = "win32" & os-distribution != "cygwinports"} & "conf-mingw-w64-gmp-i686" {os = "win32" & os-distribution != "cygwinports"}) |
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
+21
packages/conf-mingw-w64-gmp-i686/conf-mingw-w64-gmp-i686.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Virtual package for libgmp on i686 mingw-w64 (32-bit x86)"
3
+
description: "Ensures the i686 version of libgmp for the mingw-w64 project is available"
4
+
maintainer: "David Allsopp <david@tarides.com>"
5
+
authors: "Torbjörn Granlund et al"
6
+
license: "GPL-1.0-or-later"
7
+
homepage: "http://gmplib.org/"
8
+
bug-reports: "https://github.com/ocaml/opam-repository/issues"
9
+
flags: conf
10
+
available: os = "win32"
11
+
build: ["pkgconf" "--personality=i686-w64-mingw32" {os-distribution = "cygwin"} "gmp"]
12
+
depends: [
13
+
"msys2" {build & os = "win32" & os-distribution = "msys2"}
14
+
"msys2-mingw32" {os = "win32" & os-distribution = "msys2"}
15
+
"conf-pkg-config" {build}
16
+
"conf-mingw-w64-gcc-i686" {build}
17
+
]
18
+
depexts: [
19
+
["mingw64-i686-gmp"] {os = "win32" & os-distribution = "cygwin"}
20
+
["mingw-w64-i686-gmp"] {os = "win32" & os-distribution = "msys2"}
21
+
]
+21
packages/conf-mingw-w64-gmp-x86_64/conf-mingw-w64-gmp-x86_64.1/opam
+21
packages/conf-mingw-w64-gmp-x86_64/conf-mingw-w64-gmp-x86_64.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Virtual package for libgmp on x86_64 mingw-w64 (64-bit x86_64)"
3
+
description: "Ensures the x86_64 version of libgmp for the mingw-w64 project is available"
4
+
maintainer: "David Allsopp <david@tarides.com>"
5
+
authors: "Torbjörn Granlund et al"
6
+
license: "GPL-1.0-or-later"
7
+
homepage: "http://gmplib.org/"
8
+
bug-reports: "https://github.com/ocaml/opam-repository/issues"
9
+
flags: conf
10
+
available: os = "win32"
11
+
build: ["pkgconf" "--personality=x86_64-w64-mingw32" {os-distribution = "cygwin"} "gmp"]
12
+
depends: [
13
+
"msys2" {build & os = "win32" & os-distribution = "msys2"}
14
+
"msys2-mingw32" {os = "win32" & os-distribution = "msys2"}
15
+
"conf-pkg-config" {build}
16
+
"conf-mingw-w64-gcc-x86_64" {build}
17
+
]
18
+
depexts: [
19
+
["mingw64-x86_64-gmp"] {os = "win32" & os-distribution = "cygwin"}
20
+
["mingw-w64-x86_64-gmp"] {os = "win32" & os-distribution = "msys2"}
21
+
]