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

This commit is contained in:
krasimir
2009-04-30 07:57:56 +00:00
parent ae6e8ee401
commit 2c3ffb85c8
3 changed files with 35 additions and 17 deletions

View File

@@ -25,15 +25,15 @@ compat:
$(RUNMAKE) present compat
prelude:
gfc prelude/*.gf
gf -batch prelude/*.gf
cp -p prelude/*.gfo ../prelude
constructX:
gfc common/ConstructX.gf
gf -batch common/ConstructX.gf
cp -p common/ConstructX.gfo ../prelude
MakeStructural:
gfc */MakeStructural*.gf
gf -batch */MakeStructural*.gf
cp -p */MakeStructural*.gfo ../present
cp -p */MakeStructural*.gfo ../alltenses