X-Git-Url: https://ruin.nu/git/?a=blobdiff_plain;f=Makefile;h=f662112e8f88a49689dd97c0a3f07f7a54dc3a77;hb=4f21d932178a490040cf5e054f3ba9d006579368;hp=883c65fc997e911fa25d0a2a366ddc02f3c85490;hpb=e9be0603d9dbd1caa6a0032cad0e39815cb8f38d;p=proglang.git diff --git a/Makefile b/Makefile index 883c65f..f662112 100644 --- a/Makefile +++ b/Makefile @@ -1,8 +1,25 @@ -all: +all: Typechecker Interpreter + +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 + +Interpreter: Interpreter.hs Interpret.hs Typecheck.hs Parsyntax.hs Lexsyntax.hs Abssyntax.hs + ghc -fglasgow-exts --make Interpreter.hs -o Interpreter + +Parsyntax.hs: Parsyntax.y happy -gca -idebug Parsyntax.y + +Lexsyntax.hs: Lexsyntax.x alex -g Lexsyntax.x - latex Docsyntax.tex; dvips Docsyntax.dvi -o Docsyntax.ps - ghc -fglasgow-exts --make Testsyntax.hs -o Testsyntax + clean: -rm -f *.log *.aux *.hi *.o *.dvi -rm -f Docsyntax.ps