add Demo.hs

[coq-hetmet.git] / examples / Makefile

diff --git a/examples/Makefile b/examples/Makefile
index 082c82e..7819837 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 test.hs
+       ./test > .build/test.tex
        cd .build; pdflatex test.tex
        open .build/test.pdf