From 8064e50e47f40228631f8a96ba28cbfb570c76ff Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sun, 29 May 2011 18:44:52 -0700 Subject: [PATCH] add "sanity" target to Makefile --- examples/Makefile | 18 +++++++++++++++--- 1 file changed, 15 insertions(+), 3 deletions(-) diff --git a/examples/Makefile b/examples/Makefile index 17d92e8..b9fa6a7 100644 --- a/examples/Makefile +++ b/examples/Makefile @@ -4,11 +4,23 @@ open: make demo open .build/test.pdf +#sanity += BiGArrow.hs +#sanity += CircuitExample.hs +sanity += CommandSyntaxExample.hs +sanity += DotProduct.hs +sanity += GArrowTutorial.hs +sanity += GArrowVerilog.hs +sanity += ImmutableHeap.hs +sanity += IsomorphismForCodeTypes.hs +sanity += LambdaCalculusInterpreter.hs +sanity += TypeSafeRun.hs +sanity += Unflattening.hs + sanity: ../../../inplace/bin/ghc-stage2 -dcore-lint -fforce-recomp -fcoqpass -ddump-coqpass -ddump-to-file \ - `ls *.hs | grep -v Regex | grep -v Unify.hs | grep -v GArrowTikZ.hs ` +RTS -K500M - ../../../inplace/bin/ghc-stage2 -dcore-lint -fforce-recomp \ - RegexMatcher.hs Unify.hs GArrowTikZ.hs + $(sanity) \ + +RTS -K500M + demo: mkdir -p .build -- 1.7.10.4