build

tuned comment;

+
−#!/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
+
−
+
−# FIXME isatool makelogics
+
−
+
−for DIR in $LOGICS
+
−do
+
−  ( cd $DIR; $ISATOOL make)
+
−done