equal
deleted
inserted
replaced
54 # options |
54 # options |
55 |
55 |
56 ALL="" |
56 ALL="" |
57 BATCH="" |
57 BATCH="" |
58 TARGETS="" |
58 TARGETS="" |
|
59 MAKEFLAGS="" |
59 |
60 |
60 while getopts "abim:t" OPT |
61 while getopts "abim:p:t" OPT |
61 do |
62 do |
62 case "$OPT" in |
63 case "$OPT" in |
63 a) |
64 a) |
64 ALL=true |
65 ALL=true |
65 ;; |
66 ;; |
72 m) |
73 m) |
73 TARGETS="$TARGETS $OPTARG" |
74 TARGETS="$TARGETS $OPTARG" |
74 ;; |
75 ;; |
75 t) |
76 t) |
76 TARGETS="$TARGETS test" |
77 TARGETS="$TARGETS test" |
|
78 ;; |
|
79 p) |
|
80 MAKEFLAGS="$MAKEFLAGS HOL_PROOF_OBJECTS=-p $OPTARG" |
77 ;; |
81 ;; |
78 \?) |
82 \?) |
79 usage |
83 usage |
80 ;; |
84 ;; |
81 esac |
85 esac |
166 SECONDS=0 |
170 SECONDS=0 |
167 echo "Started at $(date) ($ML_IDENTIFIER on $(hostname))" |
171 echo "Started at $(date) ($ML_IDENTIFIER on $(hostname))" |
168 |
172 |
169 for L in $MAKE_LOGICS |
173 for L in $MAKE_LOGICS |
170 do |
174 do |
171 ( cd "$ISABELLE_HOME/src/$L"; "$ISATOOL" make $TARGETS ) |
175 ( cd "$ISABELLE_HOME/src/$L"; "$ISATOOL" make "$MAKEFLAGS" $TARGETS ) |
172 done |
176 done |
173 |
177 |
174 echo -n "Finished at "; date |
178 echo -n "Finished at "; date |
175 |
179 |
176 ELAPSED=$("$ISABELLE_HOME/lib/scripts/showtime" "$SECONDS") |
180 ELAPSED=$("$ISABELLE_HOME/lib/scripts/showtime" "$SECONDS") |