chore: Support bytecode-only environments

We use dune-site for the inequalities plugin, but not for the AB Why3 plugin. Since this plugin is deprecated, simply mark it as incompatible with bytecode-only environments. Fixes #1066
OCamlPro · Jul 23, 2024 · 521742d · 521742d
1 parent db4c25a
commit 521742d
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 1 deletion.
diff --git a/alt-ergo-lib.opam.locked b/alt-ergo-lib.opam.locked
@@ -42,7 +42,6 @@ depends: [
   "menhir" {= "20230608"}
   "menhirLib" {= "20230608"}
   "menhirSdk" {= "20230608"}
-  "num" {= "1.4"}
   "ocaml-compiler-libs" {= "v0.12.4"}
   "ocamlbuild" {= "0.14.2"}
   "ocamlfind" {= "1.9.6"}

diff --git a/alt-ergo-plugin-ab-why3.opam b/alt-ergo-plugin-ab-why3.opam
@@ -37,3 +37,8 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
+# This part comes from the template. Please edit
+# alt-ergo-plugin-ab-why3.opam.template and not alt-ergo-plugin-ab-why3.opam
+# which is generated by dune
+
+conflicts: [ "opam-option-bytecode-only" ]
diff --git a/alt-ergo-plugin-ab-why3.opam.template b/alt-ergo-plugin-ab-why3.opam.template
@@ -0,0 +1,5 @@
+# This part comes from the template. Please edit
+# alt-ergo-plugin-ab-why3.opam.template and not alt-ergo-plugin-ab-why3.opam
+# which is generated by dune
+
+conflicts: [ "opam-option-bytecode-only" ]