Actually build 'alex' and 'happy' during build-setup.

tamarin-prover · Apr 13, 2015 · f898f82 · f898f82
1 parent 2bdedc1
commit f898f82
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -15,8 +15,7 @@ install: build-setup
 	cabal --version  # Should be at least 1.18
 	$(CABAL_INSTALL) --force-reinstalls .
 
-# build-setup: cabal-sandbox/created $(ALEX) $(HAPPY)
-build-setup: cabal-sandbox/created
+build-setup: cabal-sandbox/created $(ALEX) $(HAPPY)
 	cabal sandbox add-source lib/*
 
 # Create a sandbox shared between the tamarin-prover its custom libraries.