equal
deleted
inserted
replaced
|
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 |
|
29 echo "RETURN starts compilation of: $LOGICS" |
|
30 read |
|
31 |
|
32 |
|
33 ## build it |
|
34 |
|
35 # FIXME isatool makelogics |
|
36 |
|
37 for DIR in $LOGICS |
|
38 do |
|
39 ( cd $DIR; $ISATOOL make) |
|
40 done |