1 all: Docsyntax.dvi Testsyntax Typechecker
3 Docsyntax.dvi: Docsyntax.tex
4 latex Docsyntax.tex; dvips Docsyntax.dvi -o Docsyntax.ps
6 Testsyntax: Testsyntax.hs Parsyntax.hs Lexsyntax.hs Abssyntax.hs
7 ghc --make Testsyntax.hs -o Testsyntax
9 Typechecker: Typechecker.hs Typecheck.hs Parsyntax.hs Lexsyntax.hs Abssyntax.hs
10 ghc -fglasgow-exts --make Typechecker.hs -o Typechecker
12 Parsyntax.hs: Parsyntax.y
13 happy -gca -idebug Parsyntax.y
15 Lexsyntax.hs: Lexsyntax.x
19 -rm -f *.log *.aux *.hi *.o *.dvi
22 -rm -f Docsyntax.* Lexsyntax.* Parsyntax.* Layoutsyntax.* Skelsyntax.* Printsyntax.* Testsyntax.* Abssyntax.* Testsyntax ErrM.* SharedString.* syntax.dtd XMLsyntax.* Makefile*