build
changeset 2789 69cf3aea45ee
parent 2781 0d6fcae3ae45
child 2879 477bfcb022d8
     1.1 --- a/build	Tue Mar 11 16:38:53 1997 +0100
     1.2 +++ b/build	Tue Mar 11 16:39:20 1997 +0100
     1.3 @@ -4,26 +4,37 @@
     1.4  #
     1.5  # build - compile parts of the Isabelle system
     1.6  
     1.7 +## args
     1.8  
     1.9 -LOGICS="Pure $*"
    1.10 -
    1.11 -ISATOOL=$PWD/bin/isatool
    1.12 +LOGICS="$*"
    1.13  
    1.14  
    1.15 -## tell the user about current settings
    1.16 +## settings
    1.17 +
    1.18 +PRG=$(basename $0)
    1.19  
    1.20 -FILES=./etc/settings
    1.21 +ISABELLE_HOME=$(dirname $0)
    1.22 +. $ISABELLE_HOME/lib/scripts/getsettings || \
    1.23 +  { echo "$PRG probably not called from its original place!"; exit 2 }
    1.24  
    1.25 -USER_SETTINGS=$($ISATOOL getenv -b ISABELLE_HOME_USER)/etc/settings
    1.26 -[ -f $USER_SETTINGS ] && FILES="$FILES and $USER_SETTINGS"
    1.27 +
    1.28 +## tell the user about current values
    1.29  
    1.30  echo
    1.31 -echo "Please check $FILES"
    1.32 +echo "Please check $ISABELLE_HOME/etc/settings"
    1.33 +[ -f $ISABELLE_HOME_USER/etc/settings ] && echo "AND $ISABELLE_HOME_USER/etc/settings"
    1.34  echo "to make sure that Isabelle's ML system settings are appropriate."
    1.35  echo "Your current values are:"
    1.36  echo
    1.37  
    1.38 -$ISATOOL getenv ML_SYSTEM ML_HOME ML_OPTIONS
    1.39 +echo "ML_SYSTEM=$ML_SYSTEM"
    1.40 +echo "ML_HOME=$ML_HOME"
    1.41 +echo "ML_OPTIONS=$ML_OPTIONS"
    1.42 +
    1.43 +
    1.44 +## build it
    1.45 +
    1.46 +LOGICS="Pure $DEFAULT_LOGIC $LOGICS"
    1.47  
    1.48  echo
    1.49  echo
    1.50 @@ -31,11 +42,9 @@
    1.51  read
    1.52  
    1.53  
    1.54 -## build it
    1.55 -
    1.56  export THIS_IS_ISABELLE_BUILD=true
    1.57  
    1.58  for DIR in $LOGICS
    1.59  do
    1.60 -  ( cd src/$DIR; $ISATOOL make)
    1.61 +  ( cd $ISABELLE_HOME/src/$DIR; $ISATOOL make)
    1.62  done