[ makefile ] added a build target for plain make without -W error (a…

…gda#639)
mzeuner · Nov 22, 2021 · eada261 · eada261
1 parent 91df136
commit eada261
Showing 1 changed file with 9 additions and 3 deletions.
diff --git a/GNUmakefile b/GNUmakefile
@@ -1,15 +1,21 @@
-AGDA_EXEC?=agda -W error -W noNoEquivWhenSplitting
+AGDA_BIN?=agda
+AGDA_FLAGS?=-W error
+AGDA_EXEC?=$(AGDA_BIN) $(AGDA_FLAGS)
 FIX_WHITESPACE?=fix-whitespace
 RTS_OPTIONS=+RTS -H3G -RTS
 AGDA=$(AGDA_EXEC) $(RTS_OPTIONS)
 RUNHASKELL?=runhaskell
 EVERYTHINGS=$(RUNHASKELL) ./Everythings.hs
 
 .PHONY : all
-all : check
+all : build
+
+.PHONY : build
+build :
+	$(MAKE) AGDA_EXEC=$(AGDA_BIN) gen-everythings check
 
 .PHONY : test
-test: check-whitespace gen-and-check-everythings check-README check
+test : check-whitespace gen-and-check-everythings check-README check
 
 # checking and fixing whitespace