···
2
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
3
+
synopsis: "OCaml 5.1.1, with ThreadSanitizer support"
4
+
maintainer: "platform@lists.ocaml.org"
13
+
homepage: "https://github.com/ocaml/ocaml"
14
+
bug-reports: "https://github.com/ocaml/ocaml/issues"
15
+
dev-repo: "git+https://github.com/ocaml-multicore/ocaml-tsan.git#5.1.1+tsan"
17
+
"ocaml" {= "5.1.1" & post}
19
+
"base-bigarray" {post}
20
+
"base-threads" {post}
21
+
"base-domains" {post}
23
+
"ocaml-beta" {opam-version < "2.1.0"}
26
+
conflict-class: "ocaml-core-compiler"
27
+
flags: [ compiler avoid-version ]
28
+
setenv: CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs"
30
+
[LSAN_OPTIONS = "detect_leaks=0,exitcode=0"]
31
+
[ASAN_OPTIONS = "detect_leaks=0,exitcode=0"]
36
+
"--prefix=%{prefix}%"
37
+
"--docdir=%{doc}%/ocaml"
39
+
"--disable-flat-float-array" {ocaml-option-no-flat-float-array:installed}
40
+
"--enable-flambda" {ocaml-option-flambda:installed}
41
+
"--enable-frame-pointers" {ocaml-option-fp:installed}
42
+
"CC=cc" {!ocaml-option-32bit:installed & !ocaml-option-musl:installed & (os="openbsd")}
43
+
"CC=clang" {!ocaml-option-32bit:installed & !ocaml-option-musl:installed & (os="macos")}
44
+
"CC=musl-gcc" {ocaml-option-musl:installed & os-distribution!="alpine"}
45
+
"CFLAGS=-Os" {ocaml-option-musl:installed}
47
+
"ASPP=musl-gcc -c" {ocaml-option-musl:installed & os-distribution!="alpine"}
48
+
"LIBS=-static" {ocaml-option-static:installed}
49
+
"--disable-warn-error"
53
+
install: [make "install"]
55
+
src: "https://github.com/ocaml-multicore/ocaml-tsan/archive/5.1.1+tsan.tar.gz"
56
+
checksum: "sha256=4fde4255b581496a1b92ccc699b5a12db6663c50afb69d6ac25207c8905d6c04"
58
+
extra-files: ["ocaml-variants.install" "md5=3e969b841df1f51ca448e6e6295cb451"]
61
+
"ocaml-option-bytecode-only"
62
+
"ocaml-option-32bit"
63
+
"ocaml-option-leak-sanitizer"
64
+
"ocaml-option-address-sanitizer"
67
+
"ocaml-option-32bit"
69
+
"ocaml-option-bytecode-only"
70
+
"ocaml-option-no-flat-float-array"
71
+
"ocaml-option-flambda"
73
+
"ocaml-option-leak-sanitizer"
74
+
"ocaml-option-address-sanitizer"
75
+
"ocaml-option-static"