equal
deleted
inserted
replaced
27 echo "Usage: $PRG [OPTIONS] [LOGICS ...]" |
27 echo "Usage: $PRG [OPTIONS] [LOGICS ...]" |
28 echo |
28 echo |
29 echo " Options are:" |
29 echo " Options are:" |
30 echo " -a all logics" |
30 echo " -a all logics" |
31 echo " -b batch mode" |
31 echo " -b batch mode" |
32 echo " -t run tests" |
32 echo " -i make images" |
|
33 echo " -t make test" |
33 echo |
34 echo |
34 echo " Compile the named LOGICS (default $ISABELLE_LOGIC), or all object logics" |
35 echo " Compile the named LOGICS (default $ISABELLE_LOGIC), or all object logics" |
35 echo " in the distribution." |
36 echo " in the distribution." |
36 echo |
37 echo |
37 exit 1 |
38 exit 1 |
48 |
49 |
49 # options |
50 # options |
50 |
51 |
51 ALL="" |
52 ALL="" |
52 BATCH="" |
53 BATCH="" |
|
54 IMAGES="" |
53 TEST="" |
55 TEST="" |
54 |
56 |
55 while getopts "abt" OPT |
57 while getopts "abit" OPT |
56 do |
58 do |
57 case "$OPT" in |
59 case "$OPT" in |
58 a) |
60 a) |
59 ALL=true |
61 ALL=true |
60 ;; |
62 ;; |
61 b) |
63 b) |
62 BATCH=true |
64 BATCH=true |
|
65 ;; |
|
66 i) |
|
67 IMAGES=images |
63 ;; |
68 ;; |
64 t) |
69 t) |
65 TEST=test |
70 TEST=test |
66 ;; |
71 ;; |
67 \?) |
72 \?) |
153 |
158 |
154 export THIS_IS_ISABELLE_BUILD=true |
159 export THIS_IS_ISABELLE_BUILD=true |
155 |
160 |
156 for L in $MAKE_LOGICS |
161 for L in $MAKE_LOGICS |
157 do |
162 do |
158 ( cd $ISABELLE_HOME/src/$L; $ISATOOL make images $TEST ) |
163 ( cd $ISABELLE_HOME/src/$L; $ISATOOL make $IMAGES $TEST ) |
159 done |
164 done |
160 |
165 |
161 echo -n "Finished at "; date |
166 echo -n "Finished at "; date |
162 |
167 |
163 ELAPSED=$($ISABELLE_HOME/lib/scripts/showtime $SECONDS) |
168 ELAPSED=$($ISABELLE_HOME/lib/scripts/showtime $SECONDS) |