Makefile

   1 all: Typechecker Interpreter
   2
   3 doc: Docsyntax.dvi
   4
   5 Docsyntax.dvi: Docsyntax.tex
   6         latex Docsyntax.tex; dvips Docsyntax.dvi -o Docsyntax.ps
   7
   8 Testsyntax: Testsyntax.hs  Parsyntax.hs Lexsyntax.hs Abssyntax.hs
   9         ghc --make Testsyntax.hs -o Testsyntax
  10
  11 Typechecker: Typechecker.hs  Typecheck.hs Parsyntax.hs Lexsyntax.hs Abssyntax.hs
  12         ghc -fglasgow-exts --make Typechecker.hs -o Typechecker
  13
  14 Interpreter: Interpreter.hs Interpret.hs Typecheck.hs Parsyntax.hs Lexsyntax.hs Abssyntax.hs
  15         ghc -fglasgow-exts --make Interpreter.hs -o Interpreter
  16
  17 Parsyntax.hs: Parsyntax.y
  18         happy -gca -idebug Parsyntax.y
  19
  20 Lexsyntax.hs: Lexsyntax.x
  21         alex -g Lexsyntax.x
  22
  23 clean:
  24         -rm -f *.log *.aux *.hi *.o *.dvi
  25         -rm -f Docsyntax.ps
  26 distclean: clean
  27         -rm -f Docsyntax.* Lexsyntax.* Parsyntax.* Layoutsyntax.* Skelsyntax.* Printsyntax.* Testsyntax.* Abssyntax.* Testsyntax ErrM.* SharedString.* syntax.dtd XMLsyntax.* Makefile*
  28