From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Tue, 26 Apr 2011 23:30:27 +0000 (-0700)
Subject: add Makefile target for tikz demo
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=b6746f7126ffec57776711d57e85e67c25235cc1;hp=79340dfab8452e6eb356054b6bb45c2d44ac9d36

add Makefile target for tikz demo
---

diff --git a/examples/Makefile b/examples/Makefile
index 362dd53..082c82e 100644
--- a/examples/Makefile
+++ b/examples/Makefile
@@ -3,3 +3,10 @@ all:
 		`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
+
+tikz:
+	mkdir .build
+	../../../inplace/bin/ghc-stage2 -odir .build -hidir .build GArrowTikZ.hs Unify.hs
+	./GArrowTikZ > .build/test.tex
+	cd .build; pdflatex test.tex
+	open .build/test.pdf