delete obsolete makefile

portnov [2009-06-21 13:27:40]
delete obsolete makefile
Filename
Makefile
diff --git a/Makefile b/Makefile
deleted file mode 100644
index a8c03a4..0000000
--- a/Makefile
+++ /dev/null
@@ -1,20 +0,0 @@
-GHC=ghc -O2 --make
-TEMPLATES=Framework/TEngine/Templates.hs
-
-all: TemplateGen Templates.hs test
-
-TemplateGen:
-	make -C Framework/TGenerator/
-
-Templates.hs:
-	Framework/TGenerator/TemplateGen templates/ $(TEMPLATES)
-
-test: test.hs $(TEMPLATES)
-	$(GHC) $<
-
-clean:
-	rm test *.hi *.o
-	make -C Framework/ clean
-	make -C Framework/TEngine clean
-	make -C Framework/TGenerator clean
-
ViewGit