[build]: configure the provers via easycrypt.project

oskgo · Jul 19, 2024 · 6a29c79 · 6a29c79
1 parent cf68b25
commit 6a29c79
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -6,12 +6,10 @@ ECARGS    ?=
 ECTOUT    ?= 10
 ECJOBS    ?= 0
 ECEXTRA   ?= --report=report.log
-ECPROVERS ?= [email protected] [email protected] [email protected]
 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
@@ -0,0 +1,4 @@
+[general]
+provers = [email protected]
+provers = [email protected]
+provers = [email protected]