--- a/src/Tools/jEdit/lib/Tools/jedit Tue Sep 08 13:40:37 2015 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit Tue Sep 08 13:52:13 2015 +0200
@@ -5,6 +5,18 @@
# DESCRIPTION: Isabelle/jEdit interface wrapper
+## settings
+
+case "$ISABELLE_JAVA_PLATFORM" in
+ x86_64-*)
+ JEDIT_JAVA_OPTIONS="$JEDIT_JAVA_OPTIONS64"
+ ;;
+ *)
+ JEDIT_JAVA_OPTIONS="$JEDIT_JAVA_OPTIONS32"
+ ;;
+esac
+
+
## sources
declare -a SOURCES=(
@@ -81,9 +93,7 @@
echo "Usage: isabelle $PRG [OPTIONS] [FILES ...]"
echo
echo " Options are:"
- echo " -J OPTION add JVM runtime option (defaults"
- echo " JEDIT_JAVA_SYSTEM_OPTIONS=$JEDIT_JAVA_SYSTEM_OPTIONS"
- echo " JEDIT_JAVA_OPTIONS=$JEDIT_JAVA_OPTIONS)"
+ echo " -J OPTION add JVM runtime option (default $JEDIT_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS)"
echo " -b build only"
echo " -d DIR include session directory"
echo " -f fresh build"