2 # |
2 # |
3 # $Id$ |
3 # $Id$ |
4 # |
4 # |
5 # build - compile parts of the Isabelle system |
5 # build - compile parts of the Isabelle system |
6 |
6 |
|
7 ## args |
7 |
8 |
8 LOGICS="Pure $*" |
9 LOGICS="$*" |
9 |
|
10 ISATOOL=$PWD/bin/isatool |
|
11 |
10 |
12 |
11 |
13 ## tell the user about current settings |
12 ## settings |
14 |
13 |
15 FILES=./etc/settings |
14 PRG=$(basename $0) |
16 |
15 |
17 USER_SETTINGS=$($ISATOOL getenv -b ISABELLE_HOME_USER)/etc/settings |
16 ISABELLE_HOME=$(dirname $0) |
18 [ -f $USER_SETTINGS ] && FILES="$FILES and $USER_SETTINGS" |
17 . $ISABELLE_HOME/lib/scripts/getsettings || \ |
|
18 { echo "$PRG probably not called from its original place!"; exit 2 } |
|
19 |
|
20 |
|
21 ## tell the user about current values |
19 |
22 |
20 echo |
23 echo |
21 echo "Please check $FILES" |
24 echo "Please check $ISABELLE_HOME/etc/settings" |
|
25 [ -f $ISABELLE_HOME_USER/etc/settings ] && echo "AND $ISABELLE_HOME_USER/etc/settings" |
22 echo "to make sure that Isabelle's ML system settings are appropriate." |
26 echo "to make sure that Isabelle's ML system settings are appropriate." |
23 echo "Your current values are:" |
27 echo "Your current values are:" |
24 echo |
28 echo |
25 |
29 |
26 $ISATOOL getenv ML_SYSTEM ML_HOME ML_OPTIONS |
30 echo "ML_SYSTEM=$ML_SYSTEM" |
|
31 echo "ML_HOME=$ML_HOME" |
|
32 echo "ML_OPTIONS=$ML_OPTIONS" |
|
33 |
|
34 |
|
35 ## build it |
|
36 |
|
37 LOGICS="Pure $DEFAULT_LOGIC $LOGICS" |
27 |
38 |
28 echo |
39 echo |
29 echo |
40 echo |
30 echo "Press RETURN to start compilation of: $LOGICS" |
41 echo "Press RETURN to start compilation of: $LOGICS" |
31 read |
42 read |
32 |
43 |
33 |
44 |
34 ## build it |
|
35 |
|
36 export THIS_IS_ISABELLE_BUILD=true |
45 export THIS_IS_ISABELLE_BUILD=true |
37 |
46 |
38 for DIR in $LOGICS |
47 for DIR in $LOGICS |
39 do |
48 do |
40 ( cd src/$DIR; $ISATOOL make) |
49 ( cd $ISABELLE_HOME/src/$DIR; $ISATOOL make) |
41 done |
50 done |