From 6e4104ffa98279fcf105dd6386e1f7162f889fc0 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 20 Sep 2007 21:51:54 +0000 Subject: compact printing of gf files --- src/Makefile | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/Makefile') diff --git a/src/Makefile b/src/Makefile index 35bd35fae..83b8e9561 100644 --- a/src/Makefile +++ b/src/Makefile @@ -191,6 +191,11 @@ gfdoc: tools/$(GF_DOC_EXE) tools/$(GF_DOC_EXE): tools/GFDoc.hs $(GHMAKE) $(GHCOPTFLAGS) -o $@ $^ +gfc: + $(GHMAKE) $(GHCOPTFLAGS) -o gfc GF/Devel/GFC.hs + strip gfc + mv gfc ../bin/ + gfcc: $(GHMAKE) $(GHCOPTFLAGS) -o gfcc GF/Canon/GFCC/Shell.hs strip gfcc -- cgit v1.2.3