From c48b4f9b38c25704467b8d511e6e2ac582ee21c4 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Mon, 30 May 2011 15:21:49 -0700 Subject: [PATCH] Makefile: use a for-loop to compile sanity checks --- examples/Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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: -- 1.7.10.4