this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "third beta of 4.08.0, with flambda activated"
3maintainer: [
4 "David Allsopp <david@tarides.com>"
5 "Florian Angeletti <florian.angeletti@inria.fr>"
6]
7depends: [
8 "ocaml" {= "4.08.0" & post}
9 "base-unix" {post}
10 "base-bigarray" {post}
11 "base-threads" {post}
12 "ocaml-beta"
13]
14conflict-class: "ocaml-core-compiler"
15flags: compiler
16setenv: CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs"
17build: [
18 ["./configure" "--prefix=%{prefix}%" "--enable-flambda"]
19 {os != "openbsd" & os != "freebsd" & os != "macos"}
20 [
21 "./configure"
22 "--prefix=%{prefix}%"
23 "--enable-flambda"
24 "CC=cc"
25 "ASPP=cc -c"
26 ] {os = "openbsd" | os = "freebsd" | os = "macos"}
27 [make "-j%{jobs}%" {os != "cygwin"} "world"]
28 [make "-j%{jobs}%" {os != "cygwin"} "world.opt"]
29]
30install: [make "install"]
31url {
32 src: "https://github.com/ocaml/ocaml/archive/4.08.0+beta3.tar.gz"
33 checksum: [
34 "sha256=620fc8e67633528df3a429d60d88c2fa72733dd250ba842cc00a990e36e18ece"
35 "md5=3596365b839d4c81c6f7ab764463cd24"
36 ]
37}
38post-messages: [
39 "A failure in the middle of the build may be caused by build parallelism
40 (enabled by default).
41 Please file a bug report at https://github.com/ocaml/opam-repository/issues"
42 {failure & jobs > 1 & os != "cygwin"}
43 "You can try installing again including --jobs=1
44 to force a sequential build instead."
45 {failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"}
46]
47patches: ["fix-gcc10.patch"]
48available: !(os = "macos" & arch = "arm64" | os = "win32")
49extra-source "fix-gcc10.patch" {
50 src:
51 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/ocaml-base-compiler/fix-gcc10.patch.4.08.0"
52 checksum: [
53 "sha256=f658efe87952165713affe6f1653ab94ca85a8d6bb77ff665b1de43074aa5b00"
54 "md5=f406119ae0091835cdf158d7d0ff53f7"
55 ]
56}
57x-maintained: false