jlog, makefile proof, trying script option

formosa-crypto · Oct 1, 2024 · de9e3e4 · de9e3e4
1 parent ada6fa4
commit de9e3e4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/proof/Makefile b/proof/Makefile
@@ -70,7 +70,7 @@ $(ALL_OUT):
 ifeq ($(CI),1)
 	mkdir -p $(@D)/$(CI_DIR)
 endif
-	($(EASYCRYPT) -R arrays/ -R $(abspath $(@D)/../../)  $(ECARGS) $(subst .out,,$@) > $@) $(CI_CMD) || !(($(FAIL_ON_ERROR)))
+	($(EASYCRYPT) -script -R arrays/ -R $(abspath $(@D)/../../)  $(ECARGS) $(subst .out,,$@) > $@) $(CI_CMD) || !(($(FAIL_ON_ERROR)))
 
 
 # -----------------------------------------------------------------------------