From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sat, 2 Apr 2011 08:07:55 +0000 (-0700)
Subject: add extra targets to Makefile
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=a8f78bbf37853e3cd5ae5c57efd27e857a0a5249

add extra targets to Makefile
---

diff --git a/Makefile b/Makefile
index 74c2601..a691257 100644
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,11 @@ default: build/CoqPass.hs
 
 build/CoqPass.hs: $(allfiles)
 	make build/Makefile.coq
-	cd build; make -f Makefile.coq OPT="-opt -dont-load-proofs" ExtractionMain.vo
+	cd build; make -f Makefile.coq OPT="-opt -dont-load-proofs" \
+	  ExtractionMain.vo \
+	  ProgrammingLanguageGeneralizedArrow.vo \
+	  ProgrammingLanguageArrow.vo \
+	  ProgrammingLanguageFlattening.vo
 	cd build; make -f Makefile.coq Extraction.vo
 	cat src/Extraction-prefix.hs                                     > build/CoqPass.hs
 	cat build/Extraction.hs | grep -v '^module' | grep -v '^import' >> build/CoqPass.hs