[ Makefile ] add fast-succeed target (like fast-fail)

agda · May 15, 2024 · 4d36b76 · 4d36b76
1 parent c78bfb0
commit 4d36b76
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -511,6 +511,13 @@ succeed :
 		AGDA_BIN=$(AGDA_BIN) $(AGDA_TESTS_BIN) $(AGDA_TESTS_OPTIONS) --regex-include all/Succeed ; \
 		rm test/Succeed/exec-tc/executables )
 
+.PHONY : fast-succeed ##
+fast-succeed :
+	@$(call decorate, "Suite of successful tests (using agda-fast)", \
+		echo $(shell which $(AGDA_FAST_BIN)) > test/Succeed/exec-tc/executables && \
+		AGDA_FAST_BIN=$(AGDA_FAST_BIN) $(AGDA_FAST_TESTS_BIN) $(AGDA_TESTS_OPTIONS) --regex-include all/Succeed ; \
+		rm test/Succeed/exec-tc/executables )
+
 .PHONY : fail ##
 fail :
 	@$(call decorate, "Suite of failing tests", \