From: Adam Megacz <adam@megacz.com>
Date: Mon, 30 May 2011 22:21:49 +0000 (-0700)
Subject: Makefile: use a for-loop to compile sanity checks
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=c48b4f9b38c25704467b8d511e6e2ac582ee21c4;ds=sidebyside

Makefile: use a for-loop to compile sanity checks
---

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: