From 29009d24e2a3f2914c1b531a5eb4396b681d5686 Mon Sep 17 00:00:00 2001
From: Pierrot <tiky.halbaroth@gmail.com>
Date: Wed, 6 Sep 2023 17:15:59 +0200
Subject: [PATCH] Fix the cram tests (#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
---
 alt-ergo-lib.opam                 | 2 +-
 dune                              | 1 +
 dune-project                      | 2 +-
 src/plugins/AB-Why3/preludes/dune | 8 +++++++-
 src/preludes/dune                 | 9 ++++++++-
 5 files changed, 18 insertions(+), 4 deletions(-)
 create mode 100644 dune

diff --git a/alt-ergo-lib.opam b/alt-ergo-lib.opam
index 32b72ddc1..79bfa94e1 100644
--- 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
new file mode 100644
index 000000000..261d36616
--- /dev/null
+++ b/dune
@@ -0,0 +1 @@
+(data_only_dirs examples)
diff --git a/dune-project b/dune-project
index 9e8a47ea7..3740e1d0a 100644
--- 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
index 82010ae4a..508f1a219 100644
--- 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
index 1bb879c03..8395d2763 100644
--- 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
+ )
+)