diff --git a/Makefile b/Makefile
index 80dc01a8a..eabd6abfb 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 default_target: all
 
-.PHONY: update_all clone_all coqutil riscv-coq bedrock2 compiler processor
+.PHONY: update_all clone_all coqutil riscv-coq bedrock2 compiler processor clean_coqutil clean_riscv-coq clean_bedrock2 clean_compiler clean_processor
 
 clone_all:
 	git submodule update --init --recursive
@@ -17,16 +17,33 @@ export DEPS_DIR
 coqutil:
 	$(MAKE) -C $(DEPS_DIR)/coqutil
 
+clean_coqutil:
+	$(MAKE) -C $(DEPS_DIR)/coqutil clean
+
 riscv-coq: coqutil
 	$(MAKE) -C $(DEPS_DIR)/riscv-coq all
 
+clean_riscv-coq:
+	$(MAKE) -C $(DEPS_DIR)/riscv-coq clean
+
 bedrock2: coqutil
 	$(MAKE) -C $(ABS_ROOT_DIR)/bedrock2
 
+clean_bedrock2:
+	$(MAKE) -C $(ABS_ROOT_DIR)/bedrock2 clean
+
 compiler: riscv-coq bedrock2
 	$(MAKE) -C $(ABS_ROOT_DIR)/compiler
 
+clean_compiler:
+	$(MAKE) -C $(ABS_ROOT_DIR)/compiler clean
+
 processor: riscv-coq
 	$(MAKE) -C $(ABS_ROOT_DIR)/processor
 
-all: compiler bedrock2 processor
+clean_processor:
+	$(MAKE) -C $(ABS_ROOT_DIR)/processor clean
+
+all: coqutil riscv-coq bedrock2 compiler processor
+
+clean: clean_coqutil clean_riscv-coq clean_bedrock2 clean_compiler clean_processor