X-Git-Url: https://ruin.nu/git/?p=proglang.git;a=blobdiff_plain;f=Makefile;h=5a3fb4ec64d64efa86cad1a20a15e5ea6e024677;hp=fe345b456c3c7f00c512d080884fbaf66a810a24;hb=de34a0eeb75a54ce9ae058797327cd5ddc853ecc;hpb=d2416679eff983d31ea9b2de4bdd0124c50bd20d diff --git a/Makefile b/Makefile index fe345b4..5a3fb4e 100644 --- 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