Skip to content

Commit

Permalink
Merge pull request ocaml#22651 from OlivierNicole/tsan-switch-2
Browse files Browse the repository at this point in the history
Add the switch 5.0.0+tsan
  • Loading branch information
kit-ty-kate authored Dec 14, 2022
2 parents 677033a + f422d70 commit 6cd0a45
Show file tree
Hide file tree
Showing 2 changed files with 76 additions and 0 deletions.
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
share_root: ["config.cache" {"ocaml/config.cache"}]
75 changes: 75 additions & 0 deletions packages/ocaml-variants/ocaml-variants.5.0.0+tsan/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,75 @@
opam-version: "2.0"
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
synopsis: "OCaml 5.0.0, with ThreadSanitizer instrumentation"
maintainer: "[email protected]"
authors: ["Xavier Leroy" "Damien Doligez" "Alain Frisch" "Jacques Garrigue" "Didier Rémy" "Jérôme Vouillon" "Anmol Sahoo" "Olivier Nicole" "Fabrice Buoro"]
homepage: "https://github.com/ocaml-multicore/ocaml-tsan"
bug-reports: "https://github.com/ocaml-multicore/ocaml-tsan/issues"
dev-repo: "git+https://github.com/ocaml-multicore/ocaml-tsan.git#5.0.0+tsan"
depends: [
"ocaml" {= "5.0.0" & post}
"base-unix" {post}
"base-bigarray" {post}
"base-threads" {post}
"base-domains" {post}
"base-nnp" {post}
"ocaml-beta" {opam-version < "2.1.0"}
]
conflict-class: "ocaml-core-compiler"
flags: [ compiler avoid-version ]
setenv: CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs"
build-env: [
[LSAN_OPTIONS = "detect_leaks=0,exitcode=0"]
[ASAN_OPTIONS = "detect_leaks=0,exitcode=0"]
]
build: [
[
"./configure"
"--prefix=%{prefix}%"
"--docdir=%{doc}%/ocaml"
"-C"
"--disable-flat-float-array" {ocaml-option-no-flat-float-array:installed}
"--enable-flambda" {ocaml-option-flambda:installed}
"--enable-frame-pointers" {ocaml-option-fp:installed}
"CC=cc" {!ocaml-option-32bit:installed & !ocaml-option-musl:installed & (os="openbsd"|os="macos")}
"CC=musl-gcc" {ocaml-option-musl:installed & os-distribution!="alpine"}
"CFLAGS=-Os" {ocaml-option-musl:installed}
"--enable-tsan"
"ASPP=musl-gcc -c" {ocaml-option-musl:installed & os-distribution!="alpine"}
"LIBS=-static" {ocaml-option-static:installed}
"--disable-warn-error"
]
[make "-j%{jobs}%"]
]
install: [make "install"]
url {
src: "https://github.com/ocaml-multicore/ocaml-tsan/archive/5.0.0+tsan.tar.gz"
}
extra-files: ["ocaml-variants.install" "md5=3e969b841df1f51ca448e6e6295cb451"]
post-messages: [
"A failure in the middle of the build may be caused by build parallelism
(enabled by default).
Please file a bug report at https://github.com/ocaml/opam-repository/issues"
{failure & jobs > 1}
"You can try installing again including --jobs=1
to force a sequential build instead."
{failure & jobs > 1 & opam-version >= "2.0.5"}
]
conflicts: [
"ocaml-option-afl"
"ocaml-option-bytecode-only"
"ocaml-option-32bit"
"ocaml-option-leak-sanitizer"
"ocaml-option-address-sanitizer"
]
depopts: [
"ocaml-option-32bit"
"ocaml-option-afl"
"ocaml-option-bytecode-only"
"ocaml-option-no-flat-float-array"
"ocaml-option-flambda"
"ocaml-option-musl"
"ocaml-option-leak-sanitizer"
"ocaml-option-address-sanitizer"
"ocaml-option-static"
]

0 comments on commit 6cd0a45

Please sign in to comment.