Isabelle
changeset 34282 549969a7f582
parent 31922 d6f8f3bfe329
child 40571 fbac01813bff
equal deleted inserted replaced
34281:eedea6f0b37e 34282:549969a7f582
    14 
    14 
    15 ISABELLE_HOME="$(cd "$(dirname "$0")"; pwd -P)"
    15 ISABELLE_HOME="$(cd "$(dirname "$0")"; pwd -P)"
    16 source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
    16 source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
    17 
    17 
    18 unset ISABELLE_SETTINGS_PRESENT
    18 unset ISABELLE_SETTINGS_PRESENT
       
    19 unset ISABELLE_SITE_SETTINGS_PRESENT
    19 
    20 
    20 
    21 
    21 ## main
    22 ## main
    22 
    23 
       
    24 [ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" jars
       
    25 
    23 CLASSPATH="$(jvmpath "$CLASSPATH")"
    26 CLASSPATH="$(jvmpath "$CLASSPATH")"
    24 
       
    25 exec "$ISABELLE_JAVA" \
    27 exec "$ISABELLE_JAVA" \
    26   "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \
    28   "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \
    27   -jar "$(jvmpath "$ISABELLE_HOME/lib/classes/isabelle-scala.jar")" "$@"
    29   -jar "$(jvmpath "$ISABELLE_HOME/lib/classes/isabelle-scala.jar")" "$@"