typechecker compiles and is compatible with old programs while using the new state...

[proglang.git] / Makefile

diff --git a/Makefile b/Makefile
index 24f8a623b51038738dda35bb8bebd26fcb382b52..e52bbb4415a70c63239390f32493a7a83304d74a 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-all: Typechecker Interpreter Compiler
+all: Testsyntax Typechecker
 
 doc: Docsyntax.dvi