this repo has no description

Merge pull request #24187 from dra27/ocaml-option-tsan

Add support for enabling OCaml's thread sanitizer mode

Kate 47704c5e e2c1b2d8

Changed files
+70
packages
conf-unwind
conf-unwind.0
ocaml-option-tsan
ocaml-option-tsan.1
ocaml-options-only-afl
ocaml-options-only-afl.1
ocaml-options-only-flambda
ocaml-options-only-flambda.1
ocaml-options-only-flambda-fp
ocaml-options-only-flambda-fp.1
ocaml-options-only-fp
ocaml-options-only-fp.1
ocaml-options-only-nnp
ocaml-options-only-nnp.1
ocaml-options-only-nnpchecker
ocaml-options-only-nnpchecker.1
ocaml-options-only-no-flat-float-array
ocaml-options-only-no-flat-float-array.1
ocaml-options-only-no-flat-float-array.1+bytecode-only
ocaml-options-only-tsan
ocaml-options-only-tsan.1
ocaml-options-vanilla
ocaml-options-vanilla.1
ocaml-variants
ocaml-variants.5.2.0+trunk
+21
packages/conf-unwind/conf-unwind.0/opam
···
+
opam-version: "2.0"
+
maintainer: "David Allsopp <david@tarides.com>"
+
homepage: "https://www.nongnu.org/libunwind/"
+
bug-reports: "https://github.com/ocaml/opam-repository/issues"
+
authors: ["David Mosberger, Dave Watson, et al"]
+
license: "MIT"
+
build: [["pkg-config" "--short-errors" "--print-errors" "libunwind"]]
+
depends: ["conf-pkg-config" {build}]
+
depexts: [
+
["libunwind-dev"] {os-family = "debian"}
+
["libunwind-devel"] {os-distribution = "centos"}
+
["libunwind-devel"] {os-distribution = "rhel"}
+
["libunwind-devel"] {os-distribution = "fedora"}
+
["libunwind-dev"] {os-distribution = "alpine"}
+
["libunwind-headers"] {os-distribution = "homebrew" & os = "macos"}
+
]
+
synopsis: "Virtual package relying on libunwind"
+
description:"
+
This package can only install if libunwind is installed on the system.
+
"
+
flags: conf
+15
packages/ocaml-option-tsan/ocaml-option-tsan.1/opam
···
+
opam-version: "2.0"
+
synopsis: "Set OCaml to be compiled with ThreadSanitizer support"
+
depends: [
+
"ocaml-variants" {post & >= "5.2.0~"}
+
"conf-unwind" {build}
+
]
+
conflicts: [
+
"ocaml-option-afl"
+
"ocaml-option-bytecode-only"
+
"ocaml-option-32bit"
+
"ocaml-option-leak-sanitizer"
+
"ocaml-option-address-sanitier"
+
]
+
maintainer: "platform@lists.ocaml.org"
+
flags: compiler
+1
packages/ocaml-options-only-afl/ocaml-options-only-afl.1/opam
···
"ocaml-option-nnpchecker"
"ocaml-option-address-sanitizer"
"ocaml-option-leak-sanitizer"
+
"ocaml-option-tsan"
]
maintainer: "platform@lists.ocaml.org"
flags: compiler
+1
packages/ocaml-options-only-flambda-fp/ocaml-options-only-flambda-fp.1/opam
···
"ocaml-option-nnpchecker"
"ocaml-option-address-sanitizer"
"ocaml-option-leak-sanitizer"
+
"ocaml-option-tsan"
]
maintainer: "platform@lists.ocaml.org"
flags: compiler
+1
packages/ocaml-options-only-flambda/ocaml-options-only-flambda.1/opam
···
"ocaml-option-nnpchecker"
"ocaml-option-address-sanitizer"
"ocaml-option-leak-sanitizer"
+
"ocaml-option-tsan"
]
maintainer: "platform@lists.ocaml.org"
flags: compiler
+1
packages/ocaml-options-only-fp/ocaml-options-only-fp.1/opam
···
"ocaml-option-nnpchecker"
"ocaml-option-address-sanitizer"
"ocaml-option-leak-sanitizer"
+
"ocaml-option-tsan"
]
maintainer: "platform@lists.ocaml.org"
flags: compiler
+1
packages/ocaml-options-only-nnp/ocaml-options-only-nnp.1/opam
···
"ocaml-option-nnpchecker"
"ocaml-option-address-sanitizer"
"ocaml-option-leak-sanitizer"
+
"ocaml-option-tsan"
]
maintainer: "platform@lists.ocaml.org"
flags: compiler
+1
packages/ocaml-options-only-nnpchecker/ocaml-options-only-nnpchecker.1/opam
···
"ocaml-option-nnp"
"ocaml-option-address-sanitizer"
"ocaml-option-leak-sanitizer"
+
"ocaml-option-tsan"
]
maintainer: "platform@lists.ocaml.org"
flags: compiler
+3
packages/ocaml-options-only-no-flat-float-array/ocaml-options-only-no-flat-float-array.1+bytecode-only/opam
···
"ocaml-option-static"
"ocaml-option-nnp"
"ocaml-option-nnpchecker"
+
"ocaml-option-address-sanitizer"
+
"ocaml-option-leak-sanitizer"
+
"ocaml-option-tsan"
]
maintainer: "platform@lists.ocaml.org"
flags: compiler
+1
packages/ocaml-options-only-no-flat-float-array/ocaml-options-only-no-flat-float-array.1/opam
···
"ocaml-option-nnpchecker"
"ocaml-option-address-sanitizer"
"ocaml-option-leak-sanitizer"
+
"ocaml-option-tsan"
]
maintainer: "platform@lists.ocaml.org"
flags: compiler
+21
packages/ocaml-options-only-tsan/ocaml-options-only-tsan.1/opam
···
+
opam-version: "2.0"
+
synopsis: "Ensure that OCaml is compiled with ThreadSanitizer support enabled, and no other custom options"
+
depends: ["ocaml-option-tsan"]
+
conflicts: [
+
"ocaml-option-32bit"
+
"ocaml-option-afl"
+
"ocaml-option-bytecode-only"
+
"ocaml-option-default-unsafe-string"
+
"ocaml-option-flambda"
+
"ocaml-option-fp"
+
"ocaml-option-musl"
+
"ocaml-option-no-flat-float-array"
+
"ocaml-option-spacetime"
+
"ocaml-option-static"
+
"ocaml-option-nnp"
+
"ocaml-option-nnpchecker"
+
"ocaml-option-address-sanitizer"
+
"ocaml-option-leak-sanitizer"
+
]
+
maintainer: "platform@lists.ocaml.org"
+
flags: compiler
+1
packages/ocaml-options-vanilla/ocaml-options-vanilla.1/opam
···
"ocaml-option-nnpchecker"
"ocaml-option-address-sanitizer"
"ocaml-option-leak-sanitizer"
+
"ocaml-option-tsan"
]
maintainer: "platform@lists.ocaml.org"
flags: compiler
+2
packages/ocaml-variants/ocaml-variants.5.2.0+trunk/opam
···
"--disable-flat-float-array" {ocaml-option-no-flat-float-array:installed}
"--enable-flambda" {ocaml-option-flambda:installed}
"--enable-frame-pointers" {ocaml-option-fp:installed}
+
"--enable-tsan" {ocaml-option-tsan: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}
···
"ocaml-option-leak-sanitizer"
"ocaml-option-address-sanitizer"
"ocaml-option-static"
+
"ocaml-option-tsan"
]