1.1 --- a/build	Fri Apr 04 14:05:12 1997 +0200
     1.2 +++ b/build	Fri Apr 04 14:47:26 1997 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4  #
     1.5  # $Id$
     1.6  #
     1.7 -# build - compile parts of the Isabelle system
     1.8 +# build - compile the Isabelle system and object-logics
     1.9  
    1.10  
    1.11  ## settings
    1.12 @@ -23,6 +23,7 @@
    1.13    echo
    1.14    echo "  Options are:"
    1.15    echo "    -a           all logics"
    1.16 +  echo "    -b           batch mode"
    1.17    echo
    1.18    echo "  Compile the named LOGICS (default $DEFAULT_LOGIC), or all object logics"
    1.19    echo "  in the distribution."
    1.20 @@ -42,13 +43,17 @@
    1.21  # options
    1.22  
    1.23  ALL=""
    1.24 +BATCH=""
    1.25  
    1.26 -while getopts "a" OPT
    1.27 +while getopts "ab" OPT
    1.28  do
    1.29    case "$OPT" in
    1.30      a)
    1.31        ALL=true
    1.32        ;;
    1.33 +    b)
    1.34 +      BATCH=true
    1.35 +      ;;
    1.36      \?)
    1.37        usage
    1.38        ;;
    1.39 @@ -67,29 +72,32 @@
    1.40  
    1.41  # tell the user about current values
    1.42  
    1.43 -echo
    1.44 -echo "                *****************************"
    1.45 -echo "                * Welcome to Isabelle build *"
    1.46 -echo "                *****************************"
    1.47 -echo
    1.48 -echo "Please check $ISABELLE_HOME/etc/settings"
    1.49 -[ -f $ISABELLE_HOME_USER/etc/settings ] && echo "AND $ISABELLE_HOME_USER/etc/settings"
    1.50 -echo "to make sure that Isabelle's ML system settings are appropriate."
    1.51 -echo
    1.52 -echo "Your current values are:"
    1.53 -echo
    1.54 -
    1.55 -echo "  ML_SYSTEM=$ML_SYSTEM"
    1.56 -echo "  ML_HOME=$ML_HOME"
    1.57 -echo "  ML_OPTIONS=$ML_OPTIONS"
    1.58 +if [ -z "$BATCH" ]; then
    1.59 +  echo
    1.60 +  echo "                *****************************"
    1.61 +  echo "                * Welcome to Isabelle build *"
    1.62 +  echo "                *****************************"
    1.63 +  echo
    1.64 +  echo "Please check $ISABELLE_HOME/etc/settings"
    1.65 +  [ -f $ISABELLE_HOME_USER/etc/settings ] && echo "AND $ISABELLE_HOME_USER/etc/settings"
    1.66 +  echo "to make sure that Isabelle's ML system settings are appropriate."
    1.67 +  echo
    1.68 +  echo "Your current values are:"
    1.69 +  echo
    1.70 +  echo "  ML_SYSTEM=$ML_SYSTEM"
    1.71 +  echo "  ML_HOME=$ML_HOME"
    1.72 +  echo "  ML_OPTIONS=$ML_OPTIONS"
    1.73 +fi
    1.74  
    1.75  
    1.76  # check logics
    1.77  
    1.78 -echo
    1.79 -echo
    1.80 -echo "Press RETURN to start compilation (including parents) of:"
    1.81 -echo
    1.82 +if [ -z "$BATCH" ]; then
    1.83 +  echo
    1.84 +  echo
    1.85 +  echo "Press RETURN to start compilation (including parents) of:"
    1.86 +  echo
    1.87 +fi
    1.88  
    1.89  [ -z "$LOGICS" ] && LOGICS=$DEFAULT_LOGIC
    1.90  
    1.91 @@ -110,9 +118,19 @@
    1.92    done
    1.93  fi
    1.94  
    1.95 -echo " " $LOGICS
    1.96 -echo
    1.97 -read
    1.98 +if [ -z "$BATCH" ]; then
    1.99 +  echo " " $LOGICS
   1.100 +  echo
   1.101 +  read
   1.102 +else
   1.103 +  echo
   1.104 +  echo -n "Isabelle build started at "; date
   1.105 +  echo "logics:" $LOGICS
   1.106 +  echo "ML_SYSTEM=$ML_SYSTEM"
   1.107 +  echo "ML_HOME=$ML_HOME"
   1.108 +  echo "ML_OPTIONS=$ML_OPTIONS"
   1.109 +  echo
   1.110 +fi
   1.111  
   1.112  
   1.113  # build it
   1.114 @@ -123,3 +141,8 @@
   1.115  do
   1.116    ( cd $ISABELLE_HOME/src/$L; $ISATOOL make )
   1.117  done
   1.118 +
   1.119 +if [ -n "$BATCH" ]; then
   1.120 +  echo
   1.121 +  echo -n "Isabelle build finished at "; date
   1.122 +fi