Permalink
Browse files

Parameterize makefile to build with cabal or cabal-dev.

  • Loading branch information...
leepike committed Mar 2, 2012
1 parent 8a0191e commit 8f7dcce0cdd44c694b4cc4d68550197b7fc4b586
Showing with 5 additions and 1 deletion.
  1. +5 −1 Makefile
View
@@ -2,11 +2,15 @@
DIRS := copilot-core copilot-language copilot-libraries copilot-sbv copilot-c99 copilot-cbmc Copilot
+# Can be overridden with cabal-dev
+# use make all CABAL=cabal-dev
+CABAL ?= cabal
+
.PHONY: all $(DIRS)
all: $(DIRS)
$(DIRS):
cd ../$@; \
- cabal install
+ $(CABAL) install

0 comments on commit 8f7dcce

Please sign in to comment.