Merge pull request #25878 from raphael-proust/alt-ergo-not-bytecode-only

alt-ergo build requires native compiler
ocaml · May 24, 2024 · 6ed19e3 · 6ed19e3
2 parents 708348f + 81202c6
commit 6ed19e3
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/packages/alt-ergo/alt-ergo.2.4.2/opam b/packages/alt-ergo/alt-ergo.2.4.2/opam
@@ -33,6 +33,9 @@ build: [
   ["dune" "subst"] {dev}
   ["dune" "build" "-p" name "-j" jobs]
 ]
+conflicts: [
+  "ocaml-option-bytecode-only"
+]
 url {
   src: "https://github.com/OCamlPro/alt-ergo/archive/refs/tags/2.4.2.tar.gz"
   checksum: [