Merge pull request #25294 from mseri/bytes

Some packages need native compilers
ocaml · Feb 20, 2024 · f2c29f9 · f2c29f9
2 parents 060b505 + 4b33929
commit f2c29f9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/packages/alt-ergo/alt-ergo.2.5.2/opam b/packages/alt-ergo/alt-ergo.2.5.2/opam
@@ -35,6 +35,7 @@ build: [
   ]
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
+conflicts: [ "ocaml-option-bytecode-only" ]
 dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
 # This part comes from the template. Please edit alt-ergo.opam.template
 # and not alt-ergo.opam which is generated by dune

diff --git a/packages/why3/why3.1.7.0/opam b/packages/why3/why3.1.7.0/opam
@@ -75,6 +75,7 @@ conflicts: [
   "ocamlgraph" {< "1.8.2"}
   "mlmpfr" {< "4.0.0"}
   "base-effects"
+  "ocaml-option-bytecode-only"
 ]
 
 synopsis: "Why3 environment for deductive program verification"