Skip to content

Commit 73030c0

Browse files
authored
Merge pull request #27849 from yallop/ber-n153
Add (BER) MetaOCaml N153
2 parents 8c6a4e8 + 1b6130e commit 73030c0

File tree

2 files changed

+81
-2
lines changed
  • packages
    • base-metaocaml-ocamlfind/base-metaocaml-ocamlfind.base
    • ocaml-variants/ocaml-variants.5.3.0+BER

2 files changed

+81
-2
lines changed

packages/base-metaocaml-ocamlfind/base-metaocaml-ocamlfind.base/opam

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ install: [
99
["mkdir" "-p" "%{lib}%/findlib.conf.d/"] {ocamlfind:installed}
1010
["ocamlfind" "install" "metaocaml" "META"] {ocamlfind:installed}
1111
["cp" "metaocaml.native.conf" "%{lib}%/findlib.conf.d/metaocaml.conf"]
12-
{ocamlfind:installed & (ocaml:compiler = "4.04.0+BER" | ocaml:compiler = "4.07.1+BER" | ocaml:compiler = "4.11.1+BER" | ocaml:compiler = "4.11.1+BER+flambda" | ocaml:compiler = "4.14.1+BER")}
12+
{ocamlfind:installed & (ocaml:compiler = "4.04.0+BER" | ocaml:compiler = "4.07.1+BER" | ocaml:compiler = "4.11.1+BER" | ocaml:compiler = "4.11.1+BER+flambda" | ocaml:compiler = "4.14.1+BER" | ocaml:compiler = "5.3.0+BER")}
1313
["cp" "metaocaml.conf" "%{lib}%/findlib.conf.d/metaocaml.conf"]
1414
{ocamlfind:installed & ocaml:compiler != "4.04.0+BER" & ocaml:compiler != "4.07.1+BER" & ocaml:compiler != "4.11.1+BER" & ocaml:compiler != "4.11.1+BER+flambda"}
1515
]
@@ -21,7 +21,7 @@ synopsis: "Findlib toolchain configuration for MetaOCaml"
2121
depends: [
2222
"ocaml"
2323
"ocaml-variants"
24-
{= "4.01.0+BER" | = "4.02.1+BER" | = "4.02.1+modular-implicits-ber" | = "4.04.0+BER" | = "4.07.1+BER" | = "4.11.1+BER" | = "4.11.1+BER+flambda" | = "4.14.1+BER" }
24+
{= "4.01.0+BER" | = "4.02.1+BER" | = "4.02.1+modular-implicits-ber" | = "4.04.0+BER" | = "4.07.1+BER" | = "4.11.1+BER" | = "4.11.1+BER+flambda" | = "4.14.1+BER" | = "5.3.0+BER" }
2525
]
2626
flags: light-uninstall
2727
extra-source "metaocaml.native.conf" {
Lines changed: 79 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,79 @@
1+
opam-version: "2.0"
2+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
3+
synopsis: "BER-N153 MetaOCaml"
4+
maintainer: [
5+
"Jeremy Yallop <[email protected]>"
6+
]
7+
authors: ["Xavier Leroy" "Damien Doligez" "Alain Frisch" "Jacques Garrigue" "Didier Rémy" "Jérôme Vouillon" "Oleg Kiselyov"]
8+
bug-reports: "https://github.com/ocaml/opam-repository/issues"
9+
dev-repo: "git+https://github.com/metaocaml/ber-metaocaml.git#ber-n53"
10+
homepage: "http://okmij.org/ftp/ML/MetaOCaml.html"
11+
depends: [
12+
"ocaml" {= "5.3.0" & post}
13+
"base-unix" {post}
14+
"base-bigarray" {post}
15+
"base-threads" {post}
16+
"base-metaocaml-ocamlfind" {post}
17+
]
18+
conflict-class: "ocaml-core-compiler"
19+
flags: compiler
20+
setenv: CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs"
21+
build: [
22+
[
23+
"./configure"
24+
"--prefix=%{prefix}%"
25+
"--docdir=%{doc}%/ocaml"
26+
"-C"
27+
"--with-afl" {ocaml-option-afl:installed}
28+
"--disable-native-compiler" {ocaml-option-bytecode-only:installed}
29+
"--disable-force-safe-string" {ocaml-option-default-unsafe-string:installed}
30+
"DEFAULT_STRING=unsafe" {ocaml-option-default-unsafe-string:installed}
31+
"--disable-flat-float-array" {ocaml-option-no-flat-float-array:installed}
32+
"--enable-flambda" {ocaml-option-flambda:installed}
33+
"--enable-frame-pointers" {ocaml-option-fp:installed}
34+
"--disable-naked-pointers" {ocaml-option-nnp:installed}
35+
"--enable-naked-pointers-checker" {ocaml-option-nnpchecker:installed}
36+
"CC=cc" {!ocaml-option-32bit:installed & !ocaml-option-musl:installed & (os="openbsd"|os="macos")}
37+
"CC=musl-gcc" {ocaml-option-musl:installed & os-distribution!="alpine"}
38+
"CFLAGS=-Os" {ocaml-option-musl:installed}
39+
"CC=gcc -m32" {ocaml-option-32bit:installed & os="linux"}
40+
"CC=gcc -Wl,-read_only_relocs,suppress -arch i386 -m32" {ocaml-option-32bit:installed & os="macos"}
41+
"ASPP=cc -c" {!ocaml-option-32bit:installed & !ocaml-option-musl:installed & (os="openbsd"|os="macos")}
42+
"ASPP=musl-gcc -c" {ocaml-option-musl:installed & os-distribution!="alpine"}
43+
"ASPP=gcc -m32 -c" {ocaml-option-32bit:installed & os="linux"}
44+
"ASPP=gcc -arch i386 -m32 -c" {ocaml-option-32bit:installed & os="macos"}
45+
"AS=as --32" {ocaml-option-32bit:installed & os="linux"}
46+
"AS=as -arch i386" {ocaml-option-32bit:installed & os="macos"}
47+
"--host=i386-linux" {ocaml-option-32bit:installed & os="linux"}
48+
"--host=i386-apple-darwin13.2.0" {ocaml-option-32bit:installed & os="macos"}
49+
"PARTIALLD=ld -r -melf_i386" {ocaml-option-32bit:installed & os="linux"}
50+
"LIBS=-static" {ocaml-option-static:installed}
51+
"--disable-warn-error"
52+
]
53+
[make "-j%{jobs}%"]
54+
]
55+
install: [
56+
[make "-i" "install"]
57+
[make "-C" "ber-metaocaml-153" "install" "install.opt"]
58+
]
59+
url {
60+
src: "https://github.com/metaocaml/ber-metaocaml/archive/BER-N153.tar.gz"
61+
checksum: [
62+
"sha256=307d0bc9a6d1fe9164956a882622980829a4aee7968744dae279a22e1a5c3ae9"
63+
"md5=33b6c0918bcd5d0baa331a342ff679e7"
64+
]
65+
}
66+
depopts: [
67+
"ocaml-option-32bit"
68+
"ocaml-option-afl"
69+
"ocaml-option-bytecode-only"
70+
"ocaml-option-default-unsafe-string"
71+
"ocaml-option-no-flat-float-array"
72+
"ocaml-option-flambda"
73+
"ocaml-option-fp"
74+
"ocaml-option-musl"
75+
"ocaml-option-static"
76+
"ocaml-option-nnp"
77+
"ocaml-option-nnpchecker"
78+
]
79+
available: !(os = "macos" & arch = "arm64") & os != "win32" & arch != "arm32" & arch != "x86_32"

0 commit comments

Comments
 (0)