build
author wenzelm
Tue Mar 11 16:39:20 1997 +0100 (1997-03-11)
changeset 2789 69cf3aea45ee
parent 2781 0d6fcae3ae45
child 2879 477bfcb022d8
permissions -rwxr-xr-x
major tuning;
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@2789
     7
## args
wenzelm@2755
     8
wenzelm@2789
     9
LOGICS="$*"
wenzelm@2755
    10
wenzelm@2755
    11
wenzelm@2789
    12
## settings
wenzelm@2789
    13
wenzelm@2789
    14
PRG=$(basename $0)
wenzelm@2755
    15
wenzelm@2789
    16
ISABELLE_HOME=$(dirname $0)
wenzelm@2789
    17
. $ISABELLE_HOME/lib/scripts/getsettings || \
wenzelm@2789
    18
  { echo "$PRG probably not called from its original place!"; exit 2 }
wenzelm@2755
    19
wenzelm@2789
    20
wenzelm@2789
    21
## tell the user about current values
wenzelm@2755
    22
wenzelm@2755
    23
echo
wenzelm@2789
    24
echo "Please check $ISABELLE_HOME/etc/settings"
wenzelm@2789
    25
[ -f $ISABELLE_HOME_USER/etc/settings ] && echo "AND $ISABELLE_HOME_USER/etc/settings"
wenzelm@2755
    26
echo "to make sure that Isabelle's ML system settings are appropriate."
wenzelm@2755
    27
echo "Your current values are:"
wenzelm@2755
    28
echo
wenzelm@2755
    29
wenzelm@2789
    30
echo "ML_SYSTEM=$ML_SYSTEM"
wenzelm@2789
    31
echo "ML_HOME=$ML_HOME"
wenzelm@2789
    32
echo "ML_OPTIONS=$ML_OPTIONS"
wenzelm@2789
    33
wenzelm@2789
    34
wenzelm@2789
    35
## build it
wenzelm@2789
    36
wenzelm@2789
    37
LOGICS="Pure $DEFAULT_LOGIC $LOGICS"
wenzelm@2755
    38
wenzelm@2755
    39
echo
wenzelm@2761
    40
echo
wenzelm@2761
    41
echo "Press RETURN to start compilation of: $LOGICS"
wenzelm@2755
    42
read
wenzelm@2755
    43
wenzelm@2755
    44
wenzelm@2781
    45
export THIS_IS_ISABELLE_BUILD=true
wenzelm@2755
    46
wenzelm@2755
    47
for DIR in $LOGICS
wenzelm@2755
    48
do
wenzelm@2789
    49
  ( cd $ISABELLE_HOME/src/$DIR; $ISATOOL make)
wenzelm@2755
    50
done