lib/scripts/getsettings
changeset 56448 344800503974
parent 56440 aab984137bcd
child 57411 9444489766a1
equal deleted inserted replaced
56447:1e77ed11f2f7 56448:344800503974
    44 export ISABELLE_HOME
    44 export ISABELLE_HOME
    45 
    45 
    46 #key executables
    46 #key executables
    47 ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
    47 ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
    48 ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle_process"
    48 ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle_process"
       
    49 ISABELLE_SCALA_SCRIPT="$ISABELLE_HOME/bin/isabelle_scala_script"
    49 
    50 
    50 function isabelle ()
    51 function isabelle ()
    51 {
    52 {
    52   "$ISABELLE_TOOL" "$@"
    53   "$ISABELLE_TOOL" "$@"
    53 }
    54 }
    57   "$ISABELLE_PROCESS" "$@"
    58   "$ISABELLE_PROCESS" "$@"
    58 }
    59 }
    59 
    60 
    60 function isabelle_scala_script ()
    61 function isabelle_scala_script ()
    61 {
    62 {
    62   "$ISABELLE_HOME/bin/isabelle_scala_script" "$@"
    63   "$ISABELLE_SCALA_SCRIPT" "$@"
    63 }
    64 }
    64 
    65 
    65 #platform
    66 #platform
    66 source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
    67 source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
    67 if [ -z "$ISABELLE_PLATFORM" ]; then
    68 if [ -z "$ISABELLE_PLATFORM" ]; then