diff --git a/src/Makefile b/src/Makefile
index 3ec3a1079..c73317c73 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -43,20 +43,15 @@ clean-snapshot:
 
 .PHONY: full-boot
 full-boot:
-	+$(MAKE) build
 	+$(MAKE) clean-snapshot
 	+$(MAKE) boot
 
-.PHONY: proofs
-proofs:
-	+$(MAKE) -C $@
-
 .PHONY: share
 share:
 	+$(MAKE) -C ../share/steel
 
 .PHONY: test
-test: proofs share
+test: share
 
 .PHONY: check-for-changes
 check-for-changes:
diff --git a/src/proofs/Makefile b/src/proofs/Makefile
deleted file mode 100644
index 823ab01f5..000000000
--- a/src/proofs/Makefile
+++ /dev/null
@@ -1,12 +0,0 @@
-TARGETS :=
-
-ifneq (,$(PULSE_NIGHTLY_CI))
-TARGETS += steelc
-endif
-
-all: $(TARGETS)
-
-$(TARGETS): %:
-	+$(MAKE) -C $@
-
-.PHONY: all $(TARGETS)