1 files changed, 16 insertions, 7 deletions

diff --git a/Makefile b/Makefile
index c2ffceb..9b53c63 100644
--- a/Makefile
+++ b/Makefile
@@ -79,17 +79,25 @@ FILES=$(LIB) $(COMMON) $(BACKEND) $(CFRONTEND) $(DRIVER)
 
 proof: $(FILES:.v=.vo)
 
-exec:
-	$(OCAMLBUILD) $(OCB_OPTIONS) Driver.native && mv Driver.native ccomp
+extraction:
+	$(MAKE) -C extraction
 
-all:
-	$(MAKE) proof
+cil:
 	$(MAKE) -C cil
-	$(MAKE) -C extraction
-	$(MAKE) exec
-	$(MAKE) -C extraction
+
+ccomp:
+	$(OCAMLBUILD) $(OCB_OPTIONS) Driver.native && mv Driver.native ccomp
+
+runtime:
 	$(MAKE) -C runtime
 
+.PHONY: proof extraction cil ccomp runtime
+
+extraction: proof
+ccomp: cil extraction 
+
+all: proof cil extraction ccomp runtime
+
 documentation: doc/removeproofs
 	@ln -f $(FILES) doc/
 	@mkdir -p doc/html
@@ -143,3 +151,4 @@ distclean:
 
 include .depend
 
+FORCE: