build
author wenzelm
Fri, 07 Mar 1997 11:49:04 +0100
changeset 2755 9a7128d9722e
child 2761 fee689b7d813
permissions -rwxr-xr-x
build - compile parts of the Isabelle system;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2755
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
     1
#!/bin/bash -norc
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
     2
#
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
     3
# $Id$
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
     4
#
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
     5
# build - compile parts of the Isabelle system
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
     6
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
     7
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
     8
LOGICS="Pure $*"
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
     9
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    10
ISATOOL=$PWD/bin/isatool
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    11
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    12
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    13
## tell the user about current settings
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    14
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    15
FILES=./etc/settings
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    16
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    17
USER_SETTINGS=$($ISATOOL getenv -b ISABELLE_HOME_USER)/etc/settings
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    18
[ -f $USER_SETTINGS ] && FILES="$FILES and $USER_SETTINGS"
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    19
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    20
echo
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    21
echo "Please check $FILES"
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    22
echo "to make sure that Isabelle's ML system settings are appropriate."
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    23
echo "Your current values are:"
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    24
echo
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    25
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    26
$ISATOOL getenv ML_SYSTEM ML_HOME ML_OPTIONS
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    27
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    28
echo
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    29
echo "RETURN starts compilation of: $LOGICS"
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    30
read
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    31
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    32
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    33
## build it
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    34
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    35
# FIXME isatool makelogics
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    36
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    37
for DIR in $LOGICS
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    38
do
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    39
  ( cd $DIR; $ISATOOL make)
9a7128d9722e build - compile parts of the Isabelle system;
wenzelm
parents:
diff changeset
    40
done