1 files changed, 6 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index 9b53c63c..7c92a334 100644
--- a/Makefile
+++ b/Makefile
@@ -93,10 +93,12 @@ runtime:
 
 .PHONY: proof extraction cil ccomp runtime
 
-extraction: proof
-ccomp: cil extraction 
-
-all: proof cil extraction ccomp runtime
+all:
+	$(MAKE) proof
+	$(MAKE) cil
+	$(MAKE) extraction
+	$(MAKE) ccomp
+	$(MAKE) runtime
 
 documentation: doc/removeproofs
 	@ln -f $(FILES) doc/