chore: cleanup makefile

leanprover · Jul 3, 2024 · d2a1935 · d2a1935
1 parent cb28843
commit d2a1935
Showing 1 changed file with 2 additions and 8 deletions.
diff --git a/GNUmakefile b/GNUmakefile
@@ -1,15 +1,9 @@
 # Ensure that panics actually cause the tests to fail
 export LEAN_ABORT_ON_PANIC=1
 
-.PHONY: all build test eval
+.PHONY: all eval
 
-all: build test
-
-build:
-	lake build
-
-test:
-	lake test
+all: eval
 
 eval:
 	bash check_eval.bash