summaryrefslogtreecommitdiff
path: root/src/Makefile
diff options
context:
space:
mode:
authoraarne <unknown>2005-10-07 12:06:19 +0000
committeraarne <unknown>2005-10-07 12:06:19 +0000
commitea1dcfd70aa7a2fb6a0b4227a6a5b83123bb4985 (patch)
tree7d29674d99f1337e4d6cfe434faf722698b7f5c6 /src/Makefile
parent01466aa3fdf5ace2b1d0750b6c7d7d919242d3ac (diff)
Embed/TemplateApp
Diffstat (limited to 'src/Makefile')
-rw-r--r--src/Makefile7
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