X-Git-Url: https://ruin.nu/git/?a=blobdiff_plain;f=Makefile;h=cd6c0826fe51507d9d2868ab83f838d262a1d9d1;hb=fd2a569443cdb0813529071e77b999ea53397e43;hp=fe345b456c3c7f00c512d080884fbaf66a810a24;hpb=93b042040034d199c925248a2dd1c321773ab6d0;p=proglang.git

diff --git a/Makefile b/Makefile
index fe345b4..cd6c082 100644
--- a/Makefile
+++ b/Makefile
@@ -1,9 +1,22 @@
-all:
-	happy -gca -idebug Parsyntax.y
-	alex -g Lexsyntax.x
+all: Typechecker
+
+doc: Docsyntax.dvi
+
+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