this repo has no description
Merge pull request #23330 from mseri/fix-gmp
conf-gmp: use pkg-config where available
authored by
Raphaël Proust
and committed by
GitHub
ebbcec92
1b767795
+89
+38
packages/conf-gmp-powm-sec/conf-gmp-powm-sec.4/opam
+38
packages/conf-gmp-powm-sec/conf-gmp-powm-sec.4/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "Etienne Millon <etienne@cryptosense.com>"
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" "-c" "pkg-config --print-errors --exists gmp || cc -c $CFLAGS -I/usr/local/include test.c"] { 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
+
"%{host-arch-x86_64:installed?x86_64:}%%{host-arch-x86_32:installed?i686:}%-w64-mingw32-gcc -c $CFLAGS test.c"
17
+
] {os = "win32" & os-distribution != "cygwinports"}
18
+
]
19
+
depends: [
20
+
"conf-gmp"
21
+
("host-arch-x86_32" {os = "win32" & os-distribution != "cygwinports"} |
22
+
"host-arch-x86_64" {os = "win32" & os-distribution != "cygwinports"})
23
+
]
24
+
synopsis:
25
+
"Virtual package relying on a GMP lib with constant-time modular exponentiation"
26
+
description: """
27
+
This package can only install if the GMP lib is installed on the system and
28
+
corresponds to a version that has the mpz_powm_sec function."""
29
+
authors: "Etienne Millon <etienne@cryptosense.com>"
30
+
flags: conf
31
+
extra-source "test.c" {
32
+
src:
33
+
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-gmp-powm-sec/test.c.3"
34
+
checksum: [
35
+
"sha256=388b3879530257a7e6e59b68208ee2a52de7be30e40eb4d3a54419708fdad490"
36
+
"md5=29317f477fa828e18428660ef31064fb"
37
+
]
38
+
}
+51
packages/conf-gmp/conf-gmp.5/opam
+51
packages/conf-gmp/conf-gmp.5/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" "-c" "pkg-config --print-errors --exists gmp || cc -c $CFLAGS -I/usr/local/include test.c"] { 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
+
"%{host-arch-x86_64:installed?x86_64:}%%{host-arch-x86_32:installed?i686:}%-w64-mingw32-gcc -c $CFLAGS test.c"
17
+
] {os = "win32" & os-distribution != "cygwinports"}
18
+
]
19
+
depends: [
20
+
"conf-pkg-config" {os = "macos"}
21
+
(("host-arch-x86_32" {os = "win32" & os-distribution != "cygwinports"} & "conf-mingw-w64-gmp-i686" {os = "win32" & os-distribution != "cygwinports"}) |
22
+
("host-arch-x86_64" {os = "win32" & os-distribution != "cygwinports"} & "conf-mingw-w64-gmp-x86_64" {os = "win32" & os-distribution != "cygwinports"}))
23
+
]
24
+
depexts: [
25
+
["libgmp-dev"] {os-family = "debian"}
26
+
["libgmp-dev"] {os-family = "ubuntu"}
27
+
["gmp"] {os = "macos" & os-distribution = "homebrew"}
28
+
["gmp"] {os-distribution = "macports" & os = "macos"}
29
+
["gmp" "gmp-devel"] {os-distribution = "centos"}
30
+
["gmp" "gmp-devel"] {os-distribution = "fedora" | os-family = "fedora"}
31
+
["gmp" "gmp-devel"] {os-distribution = "ol"}
32
+
["gmp"] {os = "openbsd"}
33
+
["gmp"] {os = "freebsd"}
34
+
["gmp-dev"] {os-distribution = "alpine"}
35
+
["gmp-devel"] {os-family = "suse" | os-family = "opensuse"}
36
+
["gmp"] {os = "win32" & os-distribution = "cygwinports"}
37
+
["gmp"] {os-distribution = "nixos"}
38
+
]
39
+
synopsis: "Virtual package relying on a GMP lib system installation"
40
+
description:
41
+
"This package can only install if the GMP lib is installed on the system."
42
+
authors: "nbraud"
43
+
flags: conf
44
+
extra-source "test.c" {
45
+
src:
46
+
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-gmp/test.c.4"
47
+
checksum: [
48
+
"sha256=54a30735f1f271a2531526747e75716f4490dd7bc1546efd6498ccfe3cc4d6fb"
49
+
"md5=2fd2970c293c36222a6d299ec155823f"
50
+
]
51
+
}