added new Makefile in the top directory which calls Cabal for compilation

This commit is contained in:
krasimir committed 2009-04-30 07:57:56 +00:00
1 parent 0cfa3be3fd
commit d9ed84a671
2 files changed
+9 -15

No files matched your search

+1 -1
View File
@@ -23,7 +23,7 @@ math:
$(RUNMAKE) math
compat:
gfc */Compatibility*.gf
gf -batch */Compatibility*.gf
cp -p */Compatibility*.gfo ../alltenses/
cp -p */Compatibility*.gfo ../present/
# $(RUNMAKE) present compat