--- a/lib/scripts/getsettings Sat Apr 14 11:46:35 2012 +0200
+++ b/lib/scripts/getsettings Sat Apr 14 12:36:11 2012 +0200
@@ -11,6 +11,21 @@
ISABELLE_SETTINGS_PRESENT=true
+#JVM path wrapper
+if [ "$OSTYPE" = cygwin ]
+then
+ ISABELLE_HOME_WINDOWS="$(cygpath -d "$(dirname "$ISABELLE_HOME")")\\$(basename "$ISABELLE_HOME")"
+ ISABELLE_HOME="$(cygpath -u "$ISABELLE_HOME_WINDOWS")"
+
+ CLASSPATH="$(cygpath -i -u -p "$CLASSPATH")"
+ function jvmpath() { cygpath -i -C UTF8 -w -p "$@"; }
+ THIS_CYGWIN="$(jvmpath "/")"
+else
+ function jvmpath() { echo "$@"; }
+ CLASSPATH="$CLASSPATH"
+fi
+HOME_JVM="$HOME"
+
export ISABELLE_HOME
if { echo -n "$ISABELLE_HOME" | fgrep " " >/dev/null; }
then
@@ -53,17 +68,6 @@
echo "$RESULT"
}
-#JVM path wrapper
-if [ "$OSTYPE" = cygwin ]; then
- CLASSPATH="$(cygpath -i -u -p "$CLASSPATH")"
- function jvmpath() { cygpath -i -C UTF8 -w -p "$@"; }
- THIS_CYGWIN="$(jvmpath "/")"
-else
- function jvmpath() { echo "$@"; }
- CLASSPATH="$CLASSPATH"
-fi
-HOME_JVM="$HOME"
-
#shared library convenience
function librarypath () {
for X in "$@"