build

added THIS_IS_ISABELLE_BUILD;

#!/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