mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 03:32:51 -06:00
Added jgf.bat. Set GF_HOME variable and use it in jgf.bat.
This commit is contained in:
11
src/Makefile
11
src/Makefile
@@ -21,6 +21,8 @@ GRAMMAR_DIST_DIR=GF-grammars-$(PACKAGE_VERSION)
|
|||||||
|
|
||||||
SNAPSHOT_DIR=GF-$(shell date +%Y%m%d)
|
SNAPSHOT_DIR=GF-$(shell date +%Y%m%d)
|
||||||
|
|
||||||
|
MSI_FILE=gf-$(subst .,_,$(PACKAGE_VERSION)).msi
|
||||||
|
|
||||||
# use the temporary binary file name 'gf-bin' to not clash with directory 'GF'
|
# use the temporary binary file name 'gf-bin' to not clash with directory 'GF'
|
||||||
# on case insensitive file systems (such as FAT)
|
# on case insensitive file systems (such as FAT)
|
||||||
GF_EXE=gf$(EXEEXT)
|
GF_EXE=gf$(EXEEXT)
|
||||||
@@ -99,7 +101,7 @@ distclean: clean
|
|||||||
-rm -f config.status config.mk config.log
|
-rm -f config.status config.mk config.log
|
||||||
-rm -f *.tgz *.zip
|
-rm -f *.tgz *.zip
|
||||||
-rm -rf $(DIST_DIR) $(BIN_DIST_DIR)
|
-rm -rf $(DIST_DIR) $(BIN_DIST_DIR)
|
||||||
-rm -rf gf.msi
|
-rm -rf gf.wxs *.msi
|
||||||
|
|
||||||
ghci-nofud:
|
ghci-nofud:
|
||||||
$(GHCI) $(GHCFLAGS)
|
$(GHCI) $(GHCFLAGS)
|
||||||
@@ -202,12 +204,9 @@ grammar-dist:
|
|||||||
gtar -zcf $(GRAMMAR_DIST_DIR).tgz $(GRAMMAR_DIST_DIR)
|
gtar -zcf $(GRAMMAR_DIST_DIR).tgz $(GRAMMAR_DIST_DIR)
|
||||||
rm -rf $(GRAMMAR_DIST_DIR)
|
rm -rf $(GRAMMAR_DIST_DIR)
|
||||||
|
|
||||||
jgf.bat:
|
windows-msi:
|
||||||
echo 'java -jar gf-java.jar gf.exe' > jgf.bat
|
|
||||||
|
|
||||||
windows-msi: jgf.bat
|
|
||||||
candle -nologo gf.wxs
|
candle -nologo gf.wxs
|
||||||
light -nologo gf.wixobj
|
light -nologo -o $(MSI_FILE) gf.wixobj
|
||||||
|
|
||||||
#
|
#
|
||||||
# Installation
|
# Installation
|
||||||
|
|||||||
@@ -27,6 +27,8 @@
|
|||||||
</Component>
|
</Component>
|
||||||
|
|
||||||
<Component Id="GFEditor" Guid="39F885F7-BC49-4CBC-9DCD-569C95AA3364">
|
<Component Id="GFEditor" Guid="39F885F7-BC49-4CBC-9DCD-569C95AA3364">
|
||||||
|
<Environment Id="GFHomeEnv" Name="GF_HOME" Action="create" Part="all" Permanent="no"
|
||||||
|
Value="[INSTALLDIR]" />
|
||||||
<File Id="GFEditorBat" Name="jgf.bat" DiskId="1" src="jgf.bat" />
|
<File Id="GFEditorBat" Name="jgf.bat" DiskId="1" src="jgf.bat" />
|
||||||
<File Id="GFEditorJar" Name="gf-java.jar" DiskId="1" src="JavaGUI/gf-java.jar" />
|
<File Id="GFEditorJar" Name="gf-java.jar" DiskId="1" src="JavaGUI/gf-java.jar" />
|
||||||
<Shortcut Id="GFEditorStartMenu" Directory="GFProgramMenuDir"
|
<Shortcut Id="GFEditorStartMenu" Directory="GFProgramMenuDir"
|
||||||
|
|||||||
1
src/jgf.bat
Normal file
1
src/jgf.bat
Normal file
@@ -0,0 +1 @@
|
|||||||
|
java -jar "%GF_HOME%\gf-java.jar" "%GF_HOME%\gf.exe" %*
|
||||||
Reference in New Issue
Block a user