diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-09-20 21:51:54 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-09-20 21:51:54 +0000 |
| commit | 6e4104ffa98279fcf105dd6386e1f7162f889fc0 (patch) | |
| tree | 4a137525f2ac44994260c5f2520bb6c526c96f14 /src/Makefile | |
| parent | 46013f103cf23d875aa3a2f853080a4fbe23ebd8 (diff) | |
compact printing of gf files
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
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 |