added THIS_IS_ISABELLE_BUILD discrimination;
authorwenzelm
Tue Mar 11 13:05:11 1997 +0100 (1997-03-11)
changeset 27801dc77f6d83e1
parent 2779 9c42ae57b5f4
child 2781 0d6fcae3ae45
added THIS_IS_ISABELLE_BUILD discrimination;
etc/settings
     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