projects
/
coq-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Makefile: use a for-loop to compile sanity checks
[coq-hetmet.git]
/
examples
/
Makefile
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 += TypeSafeRun.hs
sanity += Unflattening.hs
+sanity_opts = -dcore-lint -fforce-recomp -fcoqpass -ddump-coqpass -ddump-to-file
+
sanity:
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:
demo: