projects
/
coq-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
79340df
)
add Makefile target for tikz demo
author
Adam Megacz
<megacz@cs.berkeley.edu>
Tue, 26 Apr 2011 23:30:27 +0000
(16:30 -0700)
committer
Adam Megacz
<megacz@cs.berkeley.edu>
Tue, 26 Apr 2011 23:30:27 +0000
(16:30 -0700)
examples/Makefile
patch
|
blob
|
history
diff --git
a/examples/Makefile
b/examples/Makefile
index
362dd53
..
082c82e
100644
(file)
--- 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