options file for x86_64 only (amending 03a96b8c7c06);
authorwenzelm
Tue Jan 23 17:58:09 2018 +0100 (22 months ago ago)
changeset 67492954f44210b92
parent 67491 59527ee2d6da
child 67493 c4e9e0c50487
options file for x86_64 only (amending 03a96b8c7c06);
Admin/Linux/Isabelle.run
     1.1 --- a/Admin/Linux/Isabelle.run	Tue Jan 23 17:04:52 2018 +0100
     1.2 +++ b/Admin/Linux/Isabelle.run	Tue Jan 23 17:58:09 2018 +0100
     1.3 @@ -20,11 +20,7 @@
     1.4  # Java runtime options
     1.5  
     1.6  ISABELLE_NAME="$(basename "$0" .run)"
     1.7 -if [ -z "$ISABELLE_PLATFORM64" ]; then
     1.8 -  declare -a JAVA_OPTIONS=($(perl -p -e 's,#.*$,,g;' "$ISABELLE_HOME/${ISABELLE_NAME}.options32"))
     1.9 -else
    1.10 -  declare -a JAVA_OPTIONS=($(perl -p -e 's,#.*$,,g;' "$ISABELLE_HOME/${ISABELLE_NAME}.options64"))
    1.11 -fi
    1.12 +declare -a JAVA_OPTIONS=($(perl -p -e 's,#.*$,,g;' "$ISABELLE_HOME/${ISABELLE_NAME}.options"))
    1.13  
    1.14  
    1.15  # main
    1.16 @@ -32,9 +28,9 @@
    1.17  #paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc.
    1.18  unset XMODIFIERS
    1.19  
    1.20 -exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/jre/bin/java" \
    1.21 +exec "$ISABELLE_HOME/contrib/jdk/x86_64-linux/jre/bin/java" \
    1.22    "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \
    1.23 -  "-Djava.ext.dirs=$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/jre/lib/ext" \
    1.24 +  "-Djava.ext.dirs=$ISABELLE_HOME/contrib/jdk/x86_64-linux/jre/lib/ext" \
    1.25    -classpath "{CLASSPATH}" \
    1.26    "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \
    1.27    isabelle.Main "$@"