etc/settings
changeset 4334 e567f3425267
parent 3689 73378599a65b
child 4406 9bb6502db2ff
equal deleted inserted replaced
4333:1d326b826851 4334:e567f3425267
    48 ISABELLE_HOME_USER=~/isabelle
    48 ISABELLE_HOME_USER=~/isabelle
    49 
    49 
    50 # Where to look for isabelle tools (multiple dirs separated by ':').
    50 # Where to look for isabelle tools (multiple dirs separated by ':').
    51 ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools
    51 ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools
    52 
    52 
       
    53 # Location for temporary files (should be on a local file system).
       
    54 ISABELLE_TMP_PREFIX=/tmp/isabelle
       
    55 
    53 
    56 
    54 # Heap file locations. ML system identifier appended automatically!
    57 # Heap file locations. ML system identifier appended automatically!
    55 
    58 
    56 ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
    59 ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
    57 
    60 
    58 #A hack! 'build' tells us store heaps within the distribution.
    61 #A hack! Isabelle build tells us to store heaps within the distribution.
    59 if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    62 if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    60   ISABELLE_OUTPUT=$ISABELLE_HOME/heaps
    63   ISABELLE_OUTPUT=$ISABELLE_HOME/heaps
    61   ISABELLE_BROWSER_INFO=$ISABELLE_HOME/browser_info
    64   ISABELLE_BROWSER_INFO=$ISABELLE_HOME/browser_info
    62 else
    65 else
    63   ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
    66   ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps