Admin/Linux/Isabelle
changeset 53581 c0ad478abf50
parent 53573 3cffcc303fc0
child 54037 ab77ec347220
equal deleted inserted replaced
53580:ffc926553ec5 53581:c0ad478abf50
    17 source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
    17 source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
    18 
    18 
    19 
    19 
    20 # main
    20 # main
    21 
    21 
    22 declare -a JAVA_ARGS
       
    23 JAVA_ARGS=({JAVA_ARGS})
       
    24 
       
    25 exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/bin/java" \
    22 exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/bin/java" \
    26   -classpath "$ISABELLE_HOME/lib/classes/ext/Pure.jar:$ISABELLE_HOME/lib/classes/ext/scala-compiler.jar:$ISABELLE_HOME/lib/classes/ext/scala-library.jar:$ISABELLE_HOME/lib/classes/ext/scala-swing.jar:$ISABELLE_HOME/lib/classes/ext/scala-actors.jar:$ISABELLE_HOME/lib/classes/ext/scala-reflect.jar:$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar" \
    23   "-Disabelle.home=$ISABELLE_HOME" \
    27   "${JAVA_ARGS[@]}" "-Disabelle.home=$ISABELLE_HOME" \
    24   {JAVA_ARGS} \
       
    25   -classpath "{CLASSPATH}" \
    28   isabelle.Main "$@"
    26   isabelle.Main "$@"
    29 
    27