From 2c3ffb85c8533308f5464ae1997a7f7224a526d7 Mon Sep 17 00:00:00 2001 From: krasimir Date: Thu, 30 Apr 2009 07:57:56 +0000 Subject: added new Makefile in the top directory which calls Cabal for compilation --- next-lib/src/Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'next-lib/src/Makefile') diff --git a/next-lib/src/Makefile b/next-lib/src/Makefile index 673cb732b..998b11329 100644 --- a/next-lib/src/Makefile +++ b/next-lib/src/Makefile @@ -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 -- cgit v1.2.3