Fix the cram tests (OCamlPro#796)

* Fix the cram test for the AB plugin * Set a lower bound for ppx_blob * Restore cram tests * Add alt-ergo as a dependency for cram tests * Use ppx_blob 0.7.2 * Review changes * Prevent dune to compile examples
Halbaroth · Sep 6, 2023 · 29009d2 · 29009d2
1 parent 94b7ad0
commit 29009d2
Show file tree

Hide file tree

Showing 5 changed files with 18 additions and 4 deletions.
diff --git a/alt-ergo-lib.opam b/alt-ergo-lib.opam
@@ -25,7 +25,7 @@ depends: [
   "seq"
   "fmt"
   "stdlib-shims"
-  "ppx_blob"
+  "ppx_blob" {>= "0.7.2"}
   "camlzip" {>= "1.07"}
   "odoc" {with-doc}
 ]

diff --git a/dune b/dune
@@ -0,0 +1 @@
+(data_only_dirs examples)
diff --git a/dune-project b/dune-project
@@ -85,7 +85,7 @@ See more details on http://alt-ergo.ocamlpro.com/"
   seq
   fmt
   stdlib-shims
-  ppx_blob
+  (ppx_blob (>= 0.7.2))
   (camlzip (>= 1.07))
   (odoc :with-doc)
  )

diff --git a/src/plugins/AB-Why3/preludes/dune b/src/plugins/AB-Why3/preludes/dune
@@ -8,5 +8,11 @@
 )
 
 (cram
+ (package alt-ergo-plugin-ab-why3)
  (alias runtest-ci)
- (deps b-set-theory-prelude-2018-09-28.ae b-set-theory-prelude-2020-02-28.ae))
+ (deps
+   %{bin:alt-ergo}
+   b-set-theory-prelude-2018-09-28.ae
+   b-set-theory-prelude-2020-02-28.ae
+ )
+)
diff --git a/src/preludes/dune b/src/preludes/dune
@@ -9,5 +9,12 @@
 )
 
 (cram
+ (package alt-ergo)
  (alias runtest-ci)
- (deps fpa-theory-2017-01-04-16h00.ae fpa-theory-2019-06-14-11h00.ae fpa-theory-2019-10-08-19h00.ae))
+ (deps
+   %{bin:alt-ergo}
+   fpa-theory-2017-01-04-16h00.ae
+   fpa-theory-2019-06-14-11h00.ae
+   fpa-theory-2019-10-08-19h00.ae
+ )
+)