equal
deleted
inserted
replaced
32 echo " -g NAME include session group NAME" |
32 echo " -g NAME include session group NAME" |
33 echo " -j INT maximum number of jobs (default 1)" |
33 echo " -j INT maximum number of jobs (default 1)" |
34 echo " -n no build -- test dependencies only" |
34 echo " -n no build -- test dependencies only" |
35 echo " -o OPTION override session configuration OPTION (via NAME=VAL or NAME)" |
35 echo " -o OPTION override session configuration OPTION (via NAME=VAL or NAME)" |
36 echo " -s system build mode: produce output in ISABELLE_HOME" |
36 echo " -s system build mode: produce output in ISABELLE_HOME" |
37 echo " -t inner session timing" |
|
38 echo " -v verbose" |
37 echo " -v verbose" |
39 echo |
38 echo |
40 echo " Build and manage Isabelle sessions, depending on implicit" |
39 echo " Build and manage Isabelle sessions, depending on implicit" |
41 show_settings " " |
40 show_settings " " |
42 echo |
41 echo |
63 declare -a SESSION_GROUPS=() |
62 declare -a SESSION_GROUPS=() |
64 MAX_JOBS=1 |
63 MAX_JOBS=1 |
65 NO_BUILD=false |
64 NO_BUILD=false |
66 eval "declare -a BUILD_OPTIONS=($ISABELLE_BUILD_OPTIONS)" |
65 eval "declare -a BUILD_OPTIONS=($ISABELLE_BUILD_OPTIONS)" |
67 SYSTEM_MODE=false |
66 SYSTEM_MODE=false |
68 TIMING=false |
|
69 VERBOSE=false |
67 VERBOSE=false |
70 |
68 |
71 while getopts "abd:g:j:no:stv" OPT |
69 while getopts "abd:g:j:no:sv" OPT |
72 do |
70 do |
73 case "$OPT" in |
71 case "$OPT" in |
74 a) |
72 a) |
75 ALL_SESSIONS="true" |
73 ALL_SESSIONS="true" |
76 ;; |
74 ;; |
93 o) |
91 o) |
94 BUILD_OPTIONS["${#BUILD_OPTIONS[@]}"]="$OPTARG" |
92 BUILD_OPTIONS["${#BUILD_OPTIONS[@]}"]="$OPTARG" |
95 ;; |
93 ;; |
96 s) |
94 s) |
97 SYSTEM_MODE="true" |
95 SYSTEM_MODE="true" |
98 ;; |
|
99 t) |
|
100 TIMING="true" |
|
101 ;; |
96 ;; |
102 v) |
97 v) |
103 VERBOSE="true" |
98 VERBOSE="true" |
104 ;; |
99 ;; |
105 \?) |
100 \?) |
124 fi |
119 fi |
125 . "$ISABELLE_HOME/lib/scripts/timestart.bash" |
120 . "$ISABELLE_HOME/lib/scripts/timestart.bash" |
126 fi |
121 fi |
127 |
122 |
128 "$ISABELLE_TOOL" java isabelle.Build \ |
123 "$ISABELLE_TOOL" java isabelle.Build \ |
129 "$ALL_SESSIONS" "$BUILD_HEAP" "$MAX_JOBS" "$NO_BUILD" "$SYSTEM_MODE" "$TIMING" "$VERBOSE" \ |
124 "$ALL_SESSIONS" "$BUILD_HEAP" "$MAX_JOBS" "$NO_BUILD" "$SYSTEM_MODE" "$VERBOSE" \ |
130 "${MORE_DIRS[@]}" $'\n' "${SESSION_GROUPS[@]}" $'\n' "${BUILD_OPTIONS[@]}" $'\n' "$@" |
125 "${MORE_DIRS[@]}" $'\n' "${SESSION_GROUPS[@]}" $'\n' "${BUILD_OPTIONS[@]}" $'\n' "$@" |
131 RC="$?" |
126 RC="$?" |
132 |
127 |
133 if [ "$NO_BUILD" = false ]; then |
128 if [ "$NO_BUILD" = false ]; then |
134 echo -n "Finished at "; date |
129 echo -n "Finished at "; date |