diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-11-12 09:17:02 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-11-12 09:17:02 +0000 |
| commit | b801149fbf5c9eb3f73477d3496cdfd92cb178a1 (patch) | |
| tree | 332b6a3ec1b3b56b9ed1d8e19f175f10df970119 /src/Makefile | |
| parent | eb7b0286016714128aae742b4cedccc3dc30a9a0 (diff) | |
merged gfc and gfi to one binary, and a shell script for gfc
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/src/Makefile b/src/Makefile index 99a8c9304..13723371d 100644 --- a/src/Makefile +++ b/src/Makefile @@ -193,18 +193,12 @@ 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/ +gfc: gf3 -gfi: - $(GHMAKE) $(GHCOPTFLAGS) -o gfi GF/Devel/GFI.hs - strip gfi - mv gfi ../bin/ +gfi: gf3 gf3: - $(GHMAKE) $(GHCOPTFLAGS) -o gf3 GF/Devel/GF3.hs + $(GHMAKE) $(GHCOPTFLAGS) -o gf3 GF/Devel/GF.hs strip gf3 mv gf3 ../bin/ |