this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "third beta of 4.08.0, with frame-pointers and 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 [
19 "./configure"
20 "--prefix=%{prefix}%"
21 "--enable-frame-pointers"
22 "--enable-flambda"
23 ] {os != "openbsd" & os != "freebsd" & os != "macos"}
24 [
25 "./configure"
26 "--prefix=%{prefix}%"
27 "--enable-frame-pointers"
28 "--enable-flambda"
29 "CC=cc"
30 "ASPP=cc -c"
31 ] {os = "openbsd" | os = "freebsd" | os = "macos"}
32 [make "-j%{jobs}%" {os != "cygwin"} "world"]
33 [make "-j%{jobs}%" {os != "cygwin"} "world.opt"]
34]
35install: [make "install"]
36url {
37 src: "https://github.com/ocaml/ocaml/archive/4.08.0+beta3.tar.gz"
38 checksum: [
39 "sha256=620fc8e67633528df3a429d60d88c2fa72733dd250ba842cc00a990e36e18ece"
40 "md5=3596365b839d4c81c6f7ab764463cd24"
41 ]
42}
43post-messages: [
44 "A failure in the middle of the build may be caused by build parallelism
45 (enabled by default).
46 Please file a bug report at https://github.com/ocaml/opam-repository/issues"
47 {failure & jobs > 1 & os != "cygwin"}
48 "You can try installing again including --jobs=1
49 to force a sequential build instead."
50 {failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"}
51]
52patches: ["fix-gcc10.patch"]
53available: os = "linux" & arch = "x86_64"
54extra-source "fix-gcc10.patch" {
55 src:
56 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/ocaml-base-compiler/fix-gcc10.patch.4.08.0"
57 checksum: [
58 "sha256=f658efe87952165713affe6f1653ab94ca85a8d6bb77ff665b1de43074aa5b00"
59 "md5=f406119ae0091835cdf158d7d0ff53f7"
60 ]
61}
62x-maintained: false