Makefile

   1 all: Typechecker
   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 Parsyntax.hs: Parsyntax.y
  15         happy -gca -idebug Parsyntax.y
  16
  17 Lexsyntax.hs: Lexsyntax.x
  18         alex -g Lexsyntax.x
  19
  20 clean:
  21         -rm -f *.log *.aux *.hi *.o *.dvi
  22         -rm -f Docsyntax.ps
  23 distclean: clean
  24         -rm -f Docsyntax.* Lexsyntax.* Parsyntax.* Layoutsyntax.* Skelsyntax.* Printsyntax.* Testsyntax.* Abssyntax.* Testsyntax ErrM.* SharedString.* syntax.dtd XMLsyntax.* Makefile*
  25