projects
/
coq-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
8064e50
)
Makefile: use a for-loop to compile sanity checks
author
Adam Megacz
<adam@megacz.com>
Mon, 30 May 2011 22:21:49 +0000
(15:21 -0700)
committer
Adam Megacz
<adam@megacz.com>
Mon, 30 May 2011 22:21:49 +0000
(15:21 -0700)
examples/Makefile
patch
|
blob
|
history
diff --git
a/examples/Makefile
b/examples/Makefile
index
b9fa6a7
..
1ee6f7f
100644
(file)
--- a/
examples/Makefile
+++ b/
examples/Makefile
@@
-16,10
+16,10
@@
sanity += LambdaCalculusInterpreter.hs
sanity += TypeSafeRun.hs
sanity += Unflattening.hs
+sanity_opts = -dcore-lint -fforce-recomp -fcoqpass -ddump-coqpass -ddump-to-file
+
sanity:
- ../../../inplace/bin/ghc-stage2 -dcore-lint -fforce-recomp -fcoqpass -ddump-coqpass -ddump-to-file \
- $(sanity) \
- +RTS -K500M
+ for A in $(sanity); do ../../../inplace/bin/ghc-stage2 $(sanity_opts) $$A +RTS -K500M || exit -1; done
demo: