minor stuff

[proglang.git] / Makefile

diff --git a/Makefile b/Makefile
index fe345b456c3c7f00c512d080884fbaf66a810a24..5a3fb4ec64d64efa86cad1a20a15e5ea6e024677 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,9 +1,20 @@
-all:
-       happy -gca -idebug Parsyntax.y
-       alex -g Lexsyntax.x
+all: Docsyntax.dvi Testsyntax Typechecker
+
+Docsyntax.dvi: Docsyntax.tex
        latex Docsyntax.tex; dvips Docsyntax.dvi -o Docsyntax.ps
+
+Testsyntax: Testsyntax.hs  Parsyntax.hs Lexsyntax.hs Abssyntax.hs
        ghc --make Testsyntax.hs -o Testsyntax
+
+Typechecker: Typechecker.hs  Typecheck.hs Parsyntax.hs Lexsyntax.hs Abssyntax.hs
        ghc -fglasgow-exts --make Typechecker.hs -o Typechecker
+
+Parsyntax.hs: Parsyntax.y
+       happy -gca -idebug Parsyntax.y
+
+Lexsyntax.hs: Lexsyntax.x
+       alex -g Lexsyntax.x
+
 clean:
        -rm -f *.log *.aux *.hi *.o *.dvi
        -rm -f Docsyntax.ps