examples/Makefile

   1 all:
   2         ../../../inplace/bin/ghc-stage2 -dcore-lint -fforce-recomp -fcoqpass -ddump-coqpass -ddump-to-file \
   3                 `ls *.hs | grep -v Regex | grep -v Unify.hs | grep -v GArrowTikZ.hs ` +RTS -K500M
   4         ../../../inplace/bin/ghc-stage2 -dcore-lint -fforce-recomp \
   5                 RegexMatcher.hs Unify.hs GArrowTikZ.hs
   6
   7 tikz:
   8         mkdir .build
   9         ../../../inplace/bin/ghc-stage2 -odir .build -hidir .build GArrowTikZ.hs Unify.hs
  10         ./GArrowTikZ > .build/test.tex
  11         cd .build; pdflatex test.tex
  12         open .build/test.pdf