build
author wenzelm
Tue Mar 11 13:05:40 1997 +0100 (1997-03-11)
changeset 2781 0d6fcae3ae45
parent 2775 7a4989d685d6
child 2789 69cf3aea45ee
permissions -rwxr-xr-x
added THIS_IS_ISABELLE_BUILD;
wenzelm@2755
     1
#!/bin/bash -norc
wenzelm@2755
     2
#
wenzelm@2755
     3
# $Id$
wenzelm@2755
     4
#
wenzelm@2755
     5
# build - compile parts of the Isabelle system
wenzelm@2755
     6
wenzelm@2755
     7
wenzelm@2755
     8
LOGICS="Pure $*"
wenzelm@2755
     9
wenzelm@2755
    10
ISATOOL=$PWD/bin/isatool
wenzelm@2755
    11
wenzelm@2755
    12
wenzelm@2755
    13
## tell the user about current settings
wenzelm@2755
    14
wenzelm@2755
    15
FILES=./etc/settings
wenzelm@2755
    16
wenzelm@2755
    17
USER_SETTINGS=$($ISATOOL getenv -b ISABELLE_HOME_USER)/etc/settings
wenzelm@2755
    18
[ -f $USER_SETTINGS ] && FILES="$FILES and $USER_SETTINGS"
wenzelm@2755
    19
wenzelm@2755
    20
echo
wenzelm@2755
    21
echo "Please check $FILES"
wenzelm@2755
    22
echo "to make sure that Isabelle's ML system settings are appropriate."
wenzelm@2755
    23
echo "Your current values are:"
wenzelm@2755
    24
echo
wenzelm@2755
    25
wenzelm@2755
    26
$ISATOOL getenv ML_SYSTEM ML_HOME ML_OPTIONS
wenzelm@2755
    27
wenzelm@2755
    28
echo
wenzelm@2761
    29
echo
wenzelm@2761
    30
echo "Press RETURN to start compilation of: $LOGICS"
wenzelm@2755
    31
read
wenzelm@2755
    32
wenzelm@2755
    33
wenzelm@2755
    34
## build it
wenzelm@2755
    35
wenzelm@2781
    36
export THIS_IS_ISABELLE_BUILD=true
wenzelm@2755
    37
wenzelm@2755
    38
for DIR in $LOGICS
wenzelm@2755
    39
do
wenzelm@2775
    40
  ( cd src/$DIR; $ISATOOL make)
wenzelm@2755
    41
done