-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
39 lines (39 loc) · 1.33 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
opam-version: "2.0"
maintainer: "nbraud"
homepage: "http://gmplib.org/"
bug-reports: "https://github.com/ocaml/opam-repository/issues"
license: "GPL-1.0-or-later"
build: [
["sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c"] {os != "macos"}
[
"sh"
"-exc"
"cc -c $CFLAGS -I/opt/homebrew/include -I/opt/local/include -I/usr/local/include test.c"
] {os = "macos"}
]
depexts: [
["libgmp-dev"] {os-family = "debian"}
["libgmp-dev"] {os-family = "ubuntu"}
["gmp"] {os = "macos" & os-distribution = "homebrew"}
["gmp"] {os-distribution = "macports" & os = "macos"}
["gmp" "gmp-devel"] {os-distribution = "centos"}
["gmp" "gmp-devel"] {os-distribution = "fedora"}
["gmp" "gmp-devel"] {os-distribution = "ol"}
["gmp"] {os = "openbsd"}
["gmp"] {os = "freebsd"}
["gmp-dev"] {os-distribution = "alpine"}
["gmp-devel"] {os-family = "suse" | os-family = "opensuse"}
]
synopsis: "Virtual package relying on a GMP lib system installation"
description:
"This package can only install if the GMP lib is installed on the system."
authors: "nbraud"
flags: conf
extra-source "test.c" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-gmp/test.c.3"
checksum: [
"sha256=54a30735f1f271a2531526747e75716f4490dd7bc1546efd6498ccfe3cc4d6fb"
"md5=2fd2970c293c36222a6d299ec155823f"
]
}