GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 19:42:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

Fixed more jgf.in weirdness.

Browse Source
This commit is contained in:
bringert
2005-05-11 14:03:15 +00:00
parent e3caa322bc
commit ebc7114469
1 changed files with 18 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

36
src/jgf.in
View File

@@ -1,39 +1,39 @@
#!/bin/sh #!/bin/sh
prefix= @prefix@ prefix=@prefix@
exec_prefix= @exec_prefix@ exec_prefix=@exec_prefix@
GF_BIN_DIR= @bindir@ GF_BIN_DIR=@bindir@
GF_DATA_DIR= @datadir@/GF-@PACKAGE_VERSION@ GF_DATA_DIR=@datadir@/GF-@PACKAGE_VERSION@
JAVA= @JAVA@ JAVA=@JAVA@
GF= $GF_BIN_DIR/gf GF=$GF_BIN_DIR/gf
JARFILE= $GF_DATA_DIR/gf-java.jar JARFILE=$GF_DATA_DIR/gf-java.jar
if [ ! -x "$JAVA" ]; then if [ ! -x "${JAVA}" ]; then
JAVA= `which java` JAVA=`which java`
fi fi
if [ ! -x "$JAVA" ]; then if [ ! -x "${JAVA}" ]; then
echo "No Java VM found" echo "No Java VM found"
exit 1 exit 1
fi fi
if [ ! -f "$JARFILE" ]; then if [ ! -f "${JARFILE}" ]; then
echo "JAR file $JARFILE not found" echo "JAR file ${JARFILE} not found"
exit 1 exit 1
fi fi
if [ ! -x "$GF" ]; then if [ ! -x "${GF}" ]; then
GF= `which gf` GF=`which gf`
fi fi
if [ ! -x "$GF" ]; then if [ ! -x "${GF}" ]; then
echo "gf not found" echo "gf not found"
exit 1 exit 1
fi fi
COMMAND= $JAVA -jar $JARFILE "$GF -java $*" COMMAND= ${JAVA} -jar ${JARFILE} "$GF -java $*"
echo $COMMAND echo ${COMMAND}
exec $COMMAND exec ${COMMAND}