Fixed shell scripts for java apps to use windows paths instead of cygwin paths.

3 files changed, 39 insertions, 32 deletions

diff --git a/src/Makefile b/src/Makefile
index 085d31366..c1ce60994 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -24,6 +24,8 @@ SNAPSHOT_DIR=GF-$(shell date +%Y%m%d)
 
 MSI_FILE=gf-$(subst .,_,$(PACKAGE_VERSION)).msi
 
+GF_DATA_DIR=$(datadir)/GF-$(PACKAGE_VERSION)
+
 # 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)
@@ -232,11 +234,11 @@ install-gfdoc:
 	$(INSTALL) tools/$(GF_DOC_EXE) $(bindir)
 
 install-editor:
-	$(INSTALL) -d $(datadir)/GF-$(PACKAGE_VERSION)
+	$(INSTALL) -d $(GF_DATA_DIR)
 	$(INSTALL) jgf $(bindir)
-	$(INSTALL) -m 0644 JavaGUI/gf-java.jar $(datadir)/GF-$(PACKAGE_VERSION)
+	$(INSTALL) -m 0644 JavaGUI/gf-java.jar $(GF_DATA_DIR)
 	$(INSTALL) gfeditor $(bindir)
-	$(INSTALL) -m 0644 $(GFEDITOR)/gfeditor.jar $(datadir)/GF-$(PACKAGE_VERSION)
+	$(INSTALL) -m 0644 $(GFEDITOR)/gfeditor.jar $(GF_DATA_DIR)
 
 install-java: javac
 	-rm -f ../bin/JavaGUI
@@ -244,4 +246,3 @@ install-java: javac
 	@echo "PLEASE edit GFHOME in bin/jgf"
 	-rm -f ../bin/$(GFEDITOR)
 	ln -s ../src/$(GFEDITOR) ../bin
-
diff --git a/src/gfeditor.in b/src/gfeditor.in
index 9a390195b..129cd5e1f 100644
--- a/src/gfeditor.in
+++ b/src/gfeditor.in
@@ -1,26 +1,32 @@
 #!/bin/sh
 
-prefix=@prefix@
-exec_prefix=@exec_prefix@
-GF_BIN_DIR=@bindir@
-GF_DATA_DIR=@datadir@/GF-@PACKAGE_VERSION@
+prefix="@prefix@"
+
+case "@host@" in
+      *-cygwin)
+          prefix=`cygpath -w "$prefix"`;;
+esac
+
+exec_prefix="@exec_prefix@"
+GF_BIN_DIR="@bindir@"
+GF_DATA_DIR="@datadir@/GF-@PACKAGE_VERSION@"
 
 JAVA="@JAVA@"
 
-GF=$GF_BIN_DIR/gf
-JARFILE=$GF_DATA_DIR/gfeditor.jar
+GF="$GF_BIN_DIR/gf"
+JARFILE="$GF_DATA_DIR/gfeditor.jar"
 
 if [ ! -x "${JAVA}" ]; then
     JAVA=`which java`
 fi
 
 if [ ! -x "${JAVA}" ]; then
-    echo "No Java VM found"
+    echo "No Java VM found."
     exit 1
 fi
 
-if [ ! -f "${JARFILE}" ]; then
-   echo "JAR file ${JARFILE} not found"
+if [ ! -r "${JARFILE}" ]; then
+   echo "Cannot read JAR file ${JARFILE}."
    exit 1
 fi
 
@@ -29,11 +35,8 @@ if [ ! -x "${GF}" ]; then
 fi
 
 if [ ! -x "${GF}" ]; then
-    echo "gf not found"
+    echo "GF not found."
     exit 1
 fi
 
-COMMAND= ${JAVA} -jar ${JARFILE} -g $GF $*
-
-echo ${COMMAND}
-exec ${COMMAND}
+exec "${JAVA}" -jar "${JARFILE}" -g "${GF}" $*
diff --git a/src/jgf.in b/src/jgf.in
index b82e1fd73..3df121a64 100644
--- a/src/jgf.in
+++ b/src/jgf.in
@@ -1,26 +1,32 @@
 #!/bin/sh
 
-prefix=@prefix@
-exec_prefix=@exec_prefix@
-GF_BIN_DIR=@bindir@
-GF_DATA_DIR=@datadir@/GF-@PACKAGE_VERSION@
+prefix="@prefix@"
+
+case "@host@" in
+      *-cygwin)
+          prefix=`cygpath -w "$prefix"`;;
+esac
+
+exec_prefix="@exec_prefix@"
+GF_BIN_DIR="@bindir@"
+GF_DATA_DIR="@datadir@/GF-@PACKAGE_VERSION@"
 
 JAVA="@JAVA@"
 
-GF=$GF_BIN_DIR/gf
-JARFILE=$GF_DATA_DIR/gf-java.jar
+GF="$GF_BIN_DIR/gf"
+JARFILE="$GF_DATA_DIR/gf-java.jar"
 
 if [ ! -x "${JAVA}" ]; then
     JAVA=`which java`
 fi
 
 if [ ! -x "${JAVA}" ]; then
-    echo "No Java VM found"
+    echo "No Java VM found."
     exit 1
 fi
 
-if [ ! -f "${JARFILE}" ]; then
-   echo "JAR file ${JARFILE} not found"
+if [ ! -r "${JARFILE}" ]; then
+   echo "Cannot read JAR file ${JARFILE}."
    exit 1
 fi
 
@@ -29,11 +35,8 @@ if [ ! -x "${GF}" ]; then
 fi
 
 if [ ! -x "${GF}" ]; then
-    echo "gf not found"
+    echo "GF not found."
     exit 1
 fi
 
-COMMAND= ${JAVA} -jar ${JARFILE} "$GF -java $*"
-
-echo ${COMMAND}
-exec ${COMMAND}
+exec "${JAVA}" -jar "${JARFILE}" "$GF -java $*"