Makefile

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