diff options
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 |