etc/settings
changeset 2780 1dc77f6d83e1
parent 2742 b70d7b032e62
child 2786 b36ca42c409a
     1.1 --- a/etc/settings	Mon Mar 10 10:32:32 1997 +0100
     1.2 +++ b/etc/settings	Tue Mar 11 13:05:11 1997 +0100
     1.3 @@ -56,7 +56,13 @@
     1.4  # Heap file in/out locations.
     1.5  # Note: ML system and platform info is appended automatically!
     1.6  ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
     1.7 -ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
     1.8 +
     1.9 +if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    1.10 +  ISABELLE_OUTPUT=$ISABELLE_HOME/heaps
    1.11 +else
    1.12 +  ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
    1.13 +fi
    1.14 +
    1.15  
    1.16  DEFAULT_LOGIC=HOL
    1.17