1 all: Typechecker Interpreter
5 Docsyntax.dvi: Docsyntax.tex
6 latex Docsyntax.tex; dvips Docsyntax.dvi -o Docsyntax.ps
8 Testsyntax: Testsyntax.hs Parsyntax.hs Lexsyntax.hs Abssyntax.hs
9 ghc --make Testsyntax.hs -o Testsyntax
11 Typechecker: Typechecker.hs Typecheck.hs Parsyntax.hs Lexsyntax.hs Abssyntax.hs
12 ghc -fglasgow-exts --make Typechecker.hs -o Typechecker
14 Interpreter: Interpreter.hs Interpret.hs Typecheck.hs Parsyntax.hs Lexsyntax.hs Abssyntax.hs
15 ghc -fglasgow-exts --make Interpreter.hs -o Interpreter
17 Parsyntax.hs: Parsyntax.y
18 happy -gca -idebug Parsyntax.y
20 Lexsyntax.hs: Lexsyntax.x
24 -rm -f *.log *.aux *.hi *.o *.dvi
27 -rm -f Docsyntax.* Lexsyntax.* Parsyntax.* Layoutsyntax.* Skelsyntax.* Printsyntax.* Testsyntax.* Abssyntax.* Testsyntax ErrM.* SharedString.* syntax.dtd XMLsyntax.* Makefile*