1 files changed, 6 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 1b4e39b..3c62851 100644
--- a/Makefile
+++ b/Makefile
@@ -18,10 +18,15 @@ PREFIX ?= .
 
 .PHONY: all install proof clean extraction
 
-all:
+all: lib/COMPCERTSTAMP
 	$(MAKE) proof
 	$(MAKE) compile
 
+lib/COMPCERTSTAMP:
+	(cd lib/CompCert && ./configure x86_64-linux)
+	$(MAKE) -C lib/CompCert
+	touch $@
+
 install:
 	install -d $(PREFIX)/bin
 	install -C _build/default/driver/compcert.ini $(PREFIX)/bin/.