diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-11-07 13:07:02 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-11-07 13:07:02 +0000 |
| commit | 8c47cb46b2dd6592281b31452dba360caebc4dd6 (patch) | |
| tree | 7a6d4e09bc3bcace8949605c9a5fe2f9874fbc45 /src/Makefile | |
| parent | 2c4d34af28b31fefe26379bf6301ce9b48fb38dc (diff) | |
moved gfcc program to gfi, wrote document gf3.txt
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/Makefile b/src/Makefile index 6cda7d458..99a8c9304 100644 --- a/src/Makefile +++ b/src/Makefile @@ -198,10 +198,10 @@ gfc: strip gfc mv gfc ../bin/ -gfcc: - $(GHMAKE) $(GHCOPTFLAGS) -o gfcc GF/Devel/Shell.hs - strip gfcc - mv gfcc ../bin/ +gfi: + $(GHMAKE) $(GHCOPTFLAGS) -o gfi GF/Devel/GFI.hs + strip gfi + mv gfi ../bin/ gf3: $(GHMAKE) $(GHCOPTFLAGS) -o gf3 GF/Devel/GF3.hs |