build
author wenzelm
Tue, 11 Mar 1997 16:38:53 +0100
changeset 2788 0178e3cd9714
parent 2781 0d6fcae3ae45
child 2789 69cf3aea45ee
permissions -rwxr-xr-x
tuned comments; added -h option;

#!/bin/bash -norc
#
# $Id$
#
# build - compile parts of the Isabelle system


LOGICS="Pure $*"

ISATOOL=$PWD/bin/isatool


## tell the user about current settings

FILES=./etc/settings

USER_SETTINGS=$($ISATOOL getenv -b ISABELLE_HOME_USER)/etc/settings
[ -f $USER_SETTINGS ] && FILES="$FILES and $USER_SETTINGS"

echo
echo "Please check $FILES"
echo "to make sure that Isabelle's ML system settings are appropriate."
echo "Your current values are:"
echo

$ISATOOL getenv ML_SYSTEM ML_HOME ML_OPTIONS

echo
echo
echo "Press RETURN to start compilation of: $LOGICS"
read


## build it

export THIS_IS_ISABELLE_BUILD=true

for DIR in $LOGICS
do
  ( cd src/$DIR; $ISATOOL make)
done