X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FMakefile;h=1ee6f7fa6cd1c8c40fb26d75a4742fb69d2870e1;hp=b9fa6a78cdcfe9f0d14c0a6171b1ffc28def6d94;hb=bf98ca0f77ea35aa65617cc1266b8f252cc291cc;hpb=8064e50e47f40228631f8a96ba28cbfb570c76ff

diff --git a/examples/Makefile b/examples/Makefile
index b9fa6a7..1ee6f7f 100644
--- 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: