|
2755
|
1 |
#!/bin/bash -norc
|
|
|
2 |
#
|
|
|
3 |
# $Id$
|
|
|
4 |
#
|
|
|
5 |
# build - compile parts of the Isabelle system
|
|
|
6 |
|
|
|
7 |
|
|
|
8 |
LOGICS="Pure $*"
|
|
|
9 |
|
|
|
10 |
ISATOOL=$PWD/bin/isatool
|
|
|
11 |
|
|
|
12 |
|
|
|
13 |
## tell the user about current settings
|
|
|
14 |
|
|
|
15 |
FILES=./etc/settings
|
|
|
16 |
|
|
|
17 |
USER_SETTINGS=$($ISATOOL getenv -b ISABELLE_HOME_USER)/etc/settings
|
|
|
18 |
[ -f $USER_SETTINGS ] && FILES="$FILES and $USER_SETTINGS"
|
|
|
19 |
|
|
|
20 |
echo
|
|
|
21 |
echo "Please check $FILES"
|
|
|
22 |
echo "to make sure that Isabelle's ML system settings are appropriate."
|
|
|
23 |
echo "Your current values are:"
|
|
|
24 |
echo
|
|
|
25 |
|
|
|
26 |
$ISATOOL getenv ML_SYSTEM ML_HOME ML_OPTIONS
|
|
|
27 |
|
|
|
28 |
echo
|
|
2761
|
29 |
echo
|
|
|
30 |
echo "Press RETURN to start compilation of: $LOGICS"
|
|
2755
|
31 |
read
|
|
|
32 |
|
|
|
33 |
|
|
|
34 |
## build it
|
|
|
35 |
|
|
|
36 |
# FIXME isatool makelogics
|
|
|
37 |
|
|
|
38 |
for DIR in $LOGICS
|
|
|
39 |
do
|
|
|
40 |
( cd $DIR; $ISATOOL make)
|
|
|
41 |
done
|