Simplify building from srcs.

GaloisInc · Feb 6, 2012 · c96525a · c96525a
1 parent c4e6b6d
commit c96525a
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -0,0 +1,12 @@
+# Build all the relevant packages in order.
+
+DIRS := copilot-core copilot-language copilot-libraries copilot-sbv copilot-c99 copilot-cbmc Copilot
+
+.PHONY: all $(DIRS)
+
+all: $(DIRS)
+
+$(DIRS): 
+	cd ../$@; \
+	cabal install
+