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_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: