start using type-family-based GArrow classes

[coq-hetmet.git] / examples / Makefile

diff --git a/examples/Makefile b/examples/Makefile
index 7819837..e411f32 100644 (file)
--- a/examples/Makefile
+++ b/examples/Makefile
@@ -6,7 +6,7 @@ all:
 
 tikz:
        mkdir -p .build
-       ../../../inplace/bin/ghc-stage2 -odir .build -hidir .build GArrowTikZ.hs Unify.hs test.hs
-       ./test > .build/test.tex
+       ../../../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