build - compile parts of the Isabelle system;
authorwenzelm
Fri Mar 07 11:49:04 1997 +0100 (1997-03-07)
changeset 27559a7128d9722e
parent 2754 59bd96046ad6
child 2756 643cba384a61
build - compile parts of the Isabelle system;
build
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/build	Fri Mar 07 11:49:04 1997 +0100
     1.3 @@ -0,0 +1,40 @@
     1.4 +#!/bin/bash -norc
     1.5 +#
     1.6 +# $Id$
     1.7 +#
     1.8 +# build - compile parts of the Isabelle system
     1.9 +
    1.10 +
    1.11 +LOGICS="Pure $*"
    1.12 +
    1.13 +ISATOOL=$PWD/bin/isatool
    1.14 +
    1.15 +
    1.16 +## tell the user about current settings
    1.17 +
    1.18 +FILES=./etc/settings
    1.19 +
    1.20 +USER_SETTINGS=$($ISATOOL getenv -b ISABELLE_HOME_USER)/etc/settings
    1.21 +[ -f $USER_SETTINGS ] && FILES="$FILES and $USER_SETTINGS"
    1.22 +
    1.23 +echo
    1.24 +echo "Please check $FILES"
    1.25 +echo "to make sure that Isabelle's ML system settings are appropriate."
    1.26 +echo "Your current values are:"
    1.27 +echo
    1.28 +
    1.29 +$ISATOOL getenv ML_SYSTEM ML_HOME ML_OPTIONS
    1.30 +
    1.31 +echo
    1.32 +echo "RETURN starts compilation of: $LOGICS"
    1.33 +read
    1.34 +
    1.35 +
    1.36 +## build it
    1.37 +
    1.38 +# FIXME isatool makelogics
    1.39 +
    1.40 +for DIR in $LOGICS
    1.41 +do
    1.42 +  ( cd $DIR; $ISATOOL make)
    1.43 +done