GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-28 09:23:04 +03:00
Code Issues Projects Releases Wiki Activity

serialize alex and happy targets

Browse Source 
Fixes #161
This commit is contained in:
Adam C. Foltzer 2015-01-18 11:34:25 -08:00
parent ae219c2e90
commit 193e6595ff
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Makefile
View File

@ -61,8 +61,10 @@ ${CS}:
${CS_BIN}/alex: | ${CS}
$(CABAL) install alex
# order-only dependency: we just want the sandbox to exist
${CS_BIN}/happy: | ${CS}
# order-only dependency: we just want the sandbox to exist. Dependency
# on alex so that `make -j` doesn't try running simultaneous installs
# in the same sandbox
${CS_BIN}/happy: | ${CS} ${CS_BIN}/alex
$(CABAL) install happy
src/GitRev.hs: