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