From 0780419f57bddcc9bda3915c86fcdfc3df25e3cf Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Wed, 6 Sep 2023 16:26:10 +0200 Subject: [PATCH] Add alt-ergo as a dependency for cram tests --- src/plugins/AB-Why3/preludes/dune | 8 +++++++- src/preludes/dune | 9 ++++++++- 2 files changed, 15 insertions(+), 2 deletions(-) diff --git a/src/plugins/AB-Why3/preludes/dune b/src/plugins/AB-Why3/preludes/dune index 82010ae4a..0cf8e650e 100644 --- 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 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 + ) +)