build
author wenzelm
Fri Mar 07 15:30:23 1997 +0100 (1997-03-07)
changeset 2768 bc6d915b8019
parent 2761 fee689b7d813
child 2775 7a4989d685d6
permissions -rwxr-xr-x
renamed SYSTEM to RAW_ML_SYSTEM;
     1 #!/bin/bash -norc
     2 #
     3 # $Id$
     4 #
     5 # build - compile parts of the Isabelle system
     6 
     7 
     8 LOGICS="Pure $*"
     9 
    10 ISATOOL=$PWD/bin/isatool
    11 
    12 
    13 ## tell the user about current settings
    14 
    15 FILES=./etc/settings
    16 
    17 USER_SETTINGS=$($ISATOOL getenv -b ISABELLE_HOME_USER)/etc/settings
    18 [ -f $USER_SETTINGS ] && FILES="$FILES and $USER_SETTINGS"
    19 
    20 echo
    21 echo "Please check $FILES"
    22 echo "to make sure that Isabelle's ML system settings are appropriate."
    23 echo "Your current values are:"
    24 echo
    25 
    26 $ISATOOL getenv ML_SYSTEM ML_HOME ML_OPTIONS
    27 
    28 echo
    29 echo
    30 echo "Press RETURN to start compilation of: $LOGICS"
    31 read
    32 
    33 
    34 ## build it
    35 
    36 # FIXME isatool makelogics
    37 
    38 for DIR in $LOGICS
    39 do
    40   ( cd $DIR; $ISATOOL make)
    41 done