chore: Support bytecode-only environments

bclement-ocp · bclement-ocp · commit 481a01d46d70 · 2024-07-23T08:41:25.000+02:00
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 OCamlPro#1066
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" ]

Original file line number	Diff line number	Diff line change
`@@ -37,3 +37,8 @@ build: [`
`37`	`37`	`["dune" "install" "-p" name "--create-install-files" name]`
`38`	`38`	`]`
`39`	`39`	`dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"`
	`40`	`+# This part comes from the template. Please edit`
	`41`	`+# alt-ergo-plugin-ab-why3.opam.template and not alt-ergo-plugin-ab-why3.opam`
	`42`	`+# which is generated by dune`
	`43`	`+`
	`44`	`+conflicts: [ "opam-option-bytecode-only" ]`