diff options
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile index 678d6cd6b..dd2fa1b1b 100644 --- a/src/Makefile +++ b/src/Makefile @@ -26,6 +26,8 @@ MSI_FILE=gf-$(subst .,_,$(PACKAGE_VERSION)).msi GF_DATA_DIR=$(datadir)/GF-$(PACKAGE_VERSION) +EMBED = GF/Embed/TemplateApp + # use the temporary binary file name 'gf-bin' to not clash with directory 'GF' # on case insensitive file systems (such as FAT) GF_EXE=gf$(EXEEXT) @@ -73,6 +75,11 @@ build: opt: GHCFLAGS += $(GHCOPTFLAGS) opt: build +embed: GHCFLAGS += $(GHCOPTFLAGS) +embed: + $(GHMAKE) $(GHCFLAGS) $(EMBED) -o $(EMBED) + strip $(EMBED) + noopt: build ghci: ghci-nofud |