Skip to content

Commit 785852d

Browse files
committed
Add ocaml-variants.4.08.1+rc2+glean+flambda
0 parents  commit 785852d

File tree

1 file changed

+52
-0
lines changed
  • packages/ocaml-variants/ocaml-variants.4.08.1+glean+musl+static+flambda

1 file changed

+52
-0
lines changed
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,52 @@
1+
opam-version: "2.0"
2+
synopsis:
3+
"Official release 4.08.1, compiled with musl-gcc -static and with flambda activated"
4+
description:
5+
"Requires musl-gcc to be installed (package musl on Arch Linux or musl-tools on Debian)"
6+
maintainer: "[email protected]"
7+
authors: "Xavier Leroy and many contributors"
8+
homepage: "https://ocaml.org"
9+
bug-reports: "https://github.com/ocaml/ocaml/issues"
10+
dev-repo: "git://github.com/ocaml/ocaml"
11+
depends: [
12+
"ocaml" {= "4.08.1" & post}
13+
"base-unix" {post}
14+
"base-bigarray" {post}
15+
"base-threads" {post}
16+
]
17+
depexts: [
18+
["musl-tools"] {os-family = "debian"}
19+
["musl"] {os-distribution = "archlinux"}
20+
]
21+
conflict-class: "ocaml-core-compiler"
22+
flags: compiler
23+
setenv: CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs"
24+
build: [
25+
["./configure" "--prefix=%{prefix}%"]
26+
{os != "openbsd" & os != "freebsd" & os != "macos" & os != "linux"}
27+
[
28+
"./configure"
29+
"--prefix=%{prefix}%"
30+
"CC=x86_64-alpine-linux-musl-gcc -Os"
31+
"ASPP=x86_64-alpine-linux-musl-gcc -c"
32+
"--enable-flambda"
33+
"LIBS=-static"
34+
"--disable-graph-lib"
35+
] {os = "openbsd" | os = "freebsd" | os = "macos" | os = "linux"}
36+
[make "-j%{jobs}%" {os != "cygwin"} "world"]
37+
[make "-j%{jobs}%" {os != "cygwin"} "world.opt"]
38+
]
39+
install: [make "install"]
40+
url {
41+
src: "https://github.com/ocaml/ocaml/archive/4.08.1.tar.gz"
42+
checksum: "md5=723b6bfe8cf5abcbccc6911143f71055"
43+
}
44+
post-messages: [
45+
"A failure in the middle of the build may be caused by build parallelism
46+
(enabled by default).
47+
Please file a bug report at https://github.com/ocaml/ocaml/issues"
48+
{failure & jobs > 1 & os != "cygwin"}
49+
"You can try installing again including --jobs=1
50+
to force a sequential build instead."
51+
{failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"}
52+
]

0 commit comments

Comments
 (0)