Add build and clean targets in the makefile

liesnikov · liesnikov · commit 0c77f96a5eeb · 2025-07-22T17:09:14.000+02:00
Also make the cleanup in test remove interface files
diff --git a/Makefile b/Makefile
@@ -1,6 +1,9 @@
 .PHONY : install agda repl libHtml test testContainers testHtml golden docs
 FILES = $(shell find src -type f)
 
+build :
+	cabal build
+
 install :
 	cabal install --overwrite-policy=always
 
@@ -29,5 +32,8 @@ testHtml : test/agda2hs
 golden :
 	make -C test golden
 
+clean :
+	make -C test clean
+
 docs :
 	make -C docs html
diff --git a/test/Makefile b/test/Makefile
@@ -57,6 +57,6 @@ renderTranslations : html/index.html html/fail/index.html renderTranslations.sh
 	./renderTranslations.sh
 
 clean :
-	@rm -rf build/ html/
+	@rm -rf _build/ build/ html/
 
 force-recompile :
