From 6a29c79d40d18e97580a232053899c06ca3095ce Mon Sep 17 00:00:00 2001
From: Pierre-Yves Strub <pierre-yves@strub.nu>
Date: Fri, 19 Jul 2024 20:24:48 +0200
Subject: [PATCH] [build]: configure the provers via easycrypt.project

---
 Makefile          | 2 --
 easycrypt.project | 4 ++++
 2 files changed, 4 insertions(+), 2 deletions(-)
 create mode 100644 easycrypt.project

diff --git a/Makefile b/Makefile
index 0f3cccb670..06181fc55d 100644
--- a/Makefile
+++ b/Makefile
@@ -6,12 +6,10 @@ ECARGS    ?=
 ECTOUT    ?= 10
 ECJOBS    ?= 0
 ECEXTRA   ?= --report=report.log
-ECPROVERS ?= Alt-Ergo@2.4 Z3@4.12 CVC5@1.0
 CHECKPY   ?=
 CHECK     := $(CHECKPY) scripts/testing/runtest
 CHECK     += --bin=./ec.native
 CHECK     += --jobs="$(ECJOBS)"
-CHECK     += $(foreach prover,$(ECPROVERS),--bin-args=-p --bin-args="$(prover)")
 CHECK     += --bin-args=-timeout --bin-args="$(ECTOUT)"
 CHECK     += $(foreach arg,$(ECARGS),--bin-args="$(arg)")
 CHECK     += $(ECEXTRA) config/tests.config
diff --git a/easycrypt.project b/easycrypt.project
new file mode 100644
index 0000000000..f592382998
--- /dev/null
+++ b/easycrypt.project
@@ -0,0 +1,4 @@
+[general]
+provers = Alt-Ergo@2.4
+provers = CVC5@1.0
+provers = Z3@4.12