Add alt-ergo as a dependency for cram tests

Halbaroth · Sep 6, 2023 · 0780419 · 0780419
1 parent d512319
commit 0780419
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 2 deletions.
diff --git a/src/plugins/AB-Why3/preludes/dune b/src/plugins/AB-Why3/preludes/dune
@@ -8,5 +8,11 @@
 )
 
 (cram
+ (package alt-ergo)
  (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
+ )
+)