build
changeset 26211 ffd91f7a78a2
parent 18321 3414557c2dda
child 28500 4b79e5d3d0aa
equal deleted inserted replaced
26210:cf904c5642e1 26211:ffd91f7a78a2
    16 ALL_LOGICS="Pure FOL HOL ZF CCL CTT Cube FOLP HOLCF LCF Sequents"
    16 ALL_LOGICS="Pure FOL HOL ZF CCL CTT Cube FOLP HOLCF LCF Sequents"
    17 
    17 
    18 
    18 
    19 ## settings
    19 ## settings
    20 
    20 
    21 export THIS_IS_ISABELLE_BUILD=true
       
    22 
       
    23 PRG="$(basename "$0")"
    21 PRG="$(basename "$0")"
    24 
    22 
    25 ISABELLE_HOME="$(cd "$(dirname "$0")"; pwd -P)"
    23 ISABELLE_HOME="$(cd "$(dirname "$0")"; pwd -P)"
    26 source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
    24 source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
       
    25 
       
    26 ISABELLE_OUTPUT="$ISABELLE_HOME/heaps/$ML_IDENTIFIER"
       
    27 ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
    27 
    28 
    28 
    29 
    29 ## diagnostics
    30 ## diagnostics
    30 
    31 
    31 function usage()
    32 function usage()