Browse files

Simplify building from srcs.

  • Loading branch information...
1 parent c4e6b6d commit c96525aa7ace64ea2ebb94b626fd6e73e2b4a1fc LeePike committed Feb 5, 2012
Showing with 12 additions and 0 deletions.
  1. +12 −0 Makefile
View
12 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
+

0 comments on commit c96525a

Please sign in to comment.