Add 'debug' goal to GNUmakefile (#744)

agda · Mar 26, 2022 · 909fc4f · 909fc4f
1 parent 43e0bf0
commit 909fc4f
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/GNUmakefile b/GNUmakefile
@@ -65,3 +65,9 @@ listings: $(wildcard Cubical/**/*.agda)
 clean:
 	find . -type f -name '*.agdai' -delete
 
+.PHONY: debug
+debug : ## Print debug information.
+	@echo "AGDA_BIN              = $(AGDA_BIN)"
+	@echo "AGDA_FLAGS            = $(AGDA_FLAGS)"
+	@echo "AGDA_EXEC             = $(AGDA_EXEC)"
+	@echo "AGDA                  = $(AGDA)"