this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Lukasz Stafiniak <lukstafi@gmail.com>"
3authors: [
4 "David Malcolm <dmalcolm@redhat.com>"
5]
6homepage: "https://gcc.gnu.org/wiki/JIT"
7license: "GPL-2.0-or-later"
8# On Debian systems, there is libgccjit0, but not libgccjit0-dev, so we need
9# to explicitly match the libgccjit-dev version to the gcc version.
10# On MacOS, both cc and gcc bind to the clang compiler, so the gccjit bindings
11# might not work out-of-the-box and we use a specific version of gcc below.
12available: [
13 !(os-distribution = "ol" & os-version < "9")
14]
15build: [
16 # Unfortunately on MacOS, the default compiler is clang, even for the
17 # gcc command. Therefore this check does not guarantee out-of-the-box
18 # integration with OCaml.
19 ["sh" "-exc" "echo \"#include \\\"libgccjit.h\\\"\" > test.c"]
20 ["sh" "-exc" "gcc -c $CFLAGS -I/usr/local/include test.c"] {os != "macos"}
21 [
22 "sh"
23 "-exc"
24 "gcc-13 -c $CFLAGS -I/opt/homebrew/include -I/opt/local/include -I/usr/local/include test.c"
25 ] {os = "macos"}
26]
27depends: [ "conf-gcc" ]
28depexts: [
29 # Pin gcc to match the version used in the build-time test above.
30 ["gcc@13" "libgccjit"] {os = "macos"}
31 ["libgccjit-8-dev"] {os-distribution = "debian" & os-version = "10"}
32 ["libgccjit-10-dev"] {os-distribution = "debian" & os-version = "11"}
33 ["libgccjit-12-dev"] {os-distribution = "debian" & os-version = "12"}
34 ["libgccjit-13-dev"] {os-distribution = "debian" & (os-version >= "13" | os-version = "unknown")}
35 ["libgccjit-9-dev"] {os-distribution = "ubuntu" & os-version = "20.04"}
36 ["libgccjit-11-dev"] {os-distribution = "ubuntu" & os-version = "22.04"}
37 ["libgccjit-12-dev"] {os-distribution = "ubuntu" & os-version = "22.10"}
38 ["libgccjit-12-dev"] {os-distribution = "ubuntu" & os-version = "23.04"}
39 ["libgccjit-13-dev"] {os-distribution = "ubuntu" & os-version >= "23.10"}
40 ["libgccjit-9-dev"] {os-distribution = "linuxmint" & os-version >= "20" & os-version < "21"}
41 ["libgccjit-11-dev"] {os-distribution = "linuxmint" & os-version >= "21" & os-version < "22"}
42 ["libgccjit-13-dev"] {os-distribution = "linuxmint" & os-version >= "22"}
43 ["libgccjit"] {os-family = "nixos"}
44 ["libgccjit-devel"] {os-distribution = "centos"}
45 ["libgccjit-devel"] {os-distribution = "fedora"}
46 ["libgccjit-devel"] {os-distribution = "ol" & os-version >= "9"}
47 ["libgccjit"] {os-family = "arch"}
48 ["libgccjit-dev"] {os-family = "alpine"}
49 # Note: opam's automatic resolution of OS variables can be inconsistent across OS installations.
50 ["libgccjit-devel"] {os-family = "opensuse" | os-distribution = "opensuse-leap" |
51 os-distribution = "opensuse-tumbleweed"}
52 # Note: on FreeBSD, libgccjit is included in the gcc package.
53]
54post-messages: [
55 "libgccjit version must correspond to the gcc version; consider upgrading gcc"
56 {failure & os != "macos"}
57 "libgccjit version must correspond to the gcc version; for a stdio.h problem, ensure XCode tools are installed: xcode-select --install"
58 {failure & os = "macos"}
59]
60synopsis: "Virtual package relying on a libgccjit system installation"
61description:
62 "This package can only install if libgccjit-13 is installed on the system."
63bug-reports: "https://github.com/ocaml/opam-repository/issues"
64flags: conf