Merge branch 'coq-extraction-baked-in' of /afs/megacz.com/pub/software/coq-hetmet

[coq-hetmet.git] / examples / Makefile

diff --git a/examples/Makefile b/examples/Makefile
index 082c82e..e411f32 100644 (file)
--- a/examples/Makefile
+++ b/examples/Makefile
@@ -5,8 +5,8 @@ all:
                RegexMatcher.hs Unify.hs GArrowTikZ.hs
 
 tikz:
-       mkdir .build
-       ../../../inplace/bin/ghc-stage2 -odir .build -hidir .build GArrowTikZ.hs Unify.hs
-       ./GArrowTikZ > .build/test.tex
+       mkdir -p .build
+       ../../../inplace/bin/ghc-stage2 -odir .build -hidir .build GArrowTikZ.hs Unify.hs Demo.hs -o .build/demo
+       ./.build/demo > .build/test.tex
        cd .build; pdflatex test.tex
        open .build/test.pdf