this repo has no description
anil.recoil.org
1opam-version: "2.0"
2license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
3synopsis: "OCaml 5.0.0, with ThreadSanitizer instrumentation"
4maintainer: [
5 "David Allsopp <david@tarides.com>"
6 "Florian Angeletti <florian.angeletti@inria.fr>"
7]
8authors: ["Xavier Leroy" "Damien Doligez" "Alain Frisch" "Jacques Garrigue" "Didier Rémy" "Jérôme Vouillon" "Anmol Sahoo" "Olivier Nicole" "Fabrice Buoro"]
9homepage: "https://github.com/ocaml-multicore/ocaml-tsan"
10bug-reports: "https://github.com/ocaml-multicore/ocaml-tsan/issues"
11dev-repo: "git+https://github.com/ocaml-multicore/ocaml-tsan.git#5.0.0+tsan"
12depends: [
13 "ocaml" {= "5.0.0" & post}
14 "base-unix" {post}
15 "base-bigarray" {post}
16 "base-threads" {post}
17 "base-domains" {post}
18 "base-nnp" {post}
19 "ocaml-beta" {opam-version < "2.1.0"}
20]
21conflict-class: "ocaml-core-compiler"
22flags: [ compiler avoid-version ]
23setenv: CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs"
24build-env: [
25 [LSAN_OPTIONS = "detect_leaks=0,exitcode=0"]
26 [ASAN_OPTIONS = "detect_leaks=0,exitcode=0"]
27]
28build: [
29 [
30 "./configure"
31 "--prefix=%{prefix}%"
32 "--docdir=%{doc}%/ocaml"
33 "-C"
34 "--disable-flat-float-array" {ocaml-option-no-flat-float-array:installed}
35 "--enable-flambda" {ocaml-option-flambda:installed}
36 "--enable-frame-pointers" {ocaml-option-fp:installed}
37 "CC=cc" {!ocaml-option-32bit:installed & !ocaml-option-musl:installed & (os="openbsd"|os="macos")}
38 "CC=musl-gcc" {ocaml-option-musl:installed & os-distribution!="alpine"}
39 "CFLAGS=-Os" {ocaml-option-musl:installed}
40 "--enable-tsan"
41 "ASPP=musl-gcc -c" {ocaml-option-musl:installed & os-distribution!="alpine"}
42 "LIBS=-static" {ocaml-option-static:installed}
43 "--disable-warn-error"
44 ]
45 [make "-j%{jobs}%"]
46]
47install: [make "install"]
48url {
49 src:
50 "https://github.com/ocaml-multicore/ocaml-tsan/archive/5.0.0+tsan.tar.gz"
51}
52conflicts: [
53 "ocaml-option-afl"
54 "ocaml-option-bytecode-only"
55 "ocaml-option-32bit"
56 "ocaml-option-leak-sanitizer"
57 "ocaml-option-address-sanitizer"
58]
59depopts: [
60 "ocaml-option-32bit"
61 "ocaml-option-afl"
62 "ocaml-option-bytecode-only"
63 "ocaml-option-no-flat-float-array"
64 "ocaml-option-flambda"
65 "ocaml-option-musl"
66 "ocaml-option-leak-sanitizer"
67 "ocaml-option-address-sanitizer"
68 "ocaml-option-static"
69]
70extra-source "ocaml-variants.install" {
71 src:
72 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/ocaml-variants/ocaml-variants.install"
73 checksum: [
74 "sha256=79f2a1a5044a91350a0eb6ce12e261a72a2855c094c425cddf3860e58c486678"
75 "md5=3e969b841df1f51ca448e6e6295cb451"
76 ]
77}
78available: os != "win32"