Merge pull request #25 from Template-Coq/wcbveval

Weak call-by-value evaluation definition

Makefile

@@ -1,25 +1,29 @@
-all: template-coq checker
+all: template-coq checker extraction
 
 .PHONY: all template-coq checker install html clean mrproper .merlin test-suite translations
 
 install: 
 	$(MAKE) -C template-coq install
 	$(MAKE) -C checker install
+	$(MAKE) -C extraction install
 
 html: all
 	$(MAKE) -C template-coq html
+	$(MAKE) -C extraction html
 	mv template-coq/html/*.html html
 	rm template-coq/html/coqdoc.css
 	rm -d template-coq/html
 
 clean:
 	$(MAKE) -C template-coq clean
+	$(MAKE) -C extraction clean
 	$(MAKE) -C checker clean
 	$(MAKE) -C test-suite clean
 	$(MAKE) -C translations clean
 
 mrproper:
 	$(MAKE) -C template-coq mrproper
+	$(MAKE) -C extraction mrproper
 	$(MAKE) -C checker mrproper
 
 .merlin:
@@ -29,6 +33,9 @@ mrproper:
 template-coq:
 	$(MAKE) -C template-coq
 
+extraction: template-coq
+	$(MAKE) -C extraction
+
 checker: template-coq
 	./movefiles.sh
 	$(MAKE) -C checker