diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-11-12 16:18:01 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-11-12 16:18:01 +0000 |
| commit | 3ab863c1d45c60b1bb874d934bc67ed1785f12de (patch) | |
| tree | eb819b5cf6a9bcfb85f944a04b2032707b0e31e7 /src | |
| parent | ca6198dc98693face400d25364d21ae9bedf12df (diff) | |
Added install-gf3 target. Use EXEEXT to get correct gf3 file name on Windows.
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/Makefile b/src/Makefile index b7970d3f4..bdb94401c 100644 --- a/src/Makefile +++ b/src/Makefile @@ -33,6 +33,8 @@ EMBED = GF/Embed/TemplateApp GF_EXE=gf$(EXEEXT) GF_EXE_TMP=gf-bin$(EXEEXT) GF_DOC_EXE=gfdoc$(EXEEXT) +GF3_EXE=gf3$(EXEEXT) + ifeq ("$(READLINE)","readline") GHCFLAGS += -package readline -DUSE_READLINE @@ -201,8 +203,8 @@ gfi: gf3 gf3: $(GHMAKE) $(GHCOPTFLAGS) -o gf3 GF/Devel/GF.hs - strip gf3 - mv gf3 ../bin/ + strip $(GF3_EXE) + mv $(GF3_EXE) ../bin/ gfcc2c: $(MAKE) -C tools/c @@ -284,6 +286,11 @@ install-gf: $(INSTALL) -d $(bindir) $(INSTALL) ../bin/$(GF_EXE) $(bindir) +install-gf3: + $(INSTALL) -d $(bindir) + $(INSTALL) ../bin/$(GF3_EXE) $(bindir) + $(INSTALL) ../bin/gfc $(bindir) + install-gfdoc: $(INSTALL) -d $(bindir) $(INSTALL) tools/$(GF_DOC_EXE) $(bindir) |