equal
deleted
inserted
replaced
20 echo " -d DIR additional session directory with ROOT file" |
20 echo " -d DIR additional session directory with ROOT file" |
21 echo " -j INT maximum number of jobs (default 1)" |
21 echo " -j INT maximum number of jobs (default 1)" |
22 echo " -l list sessions only" |
22 echo " -l list sessions only" |
23 echo " -o OPTION override session configuration OPTION (via NAME=VAL or NAME)" |
23 echo " -o OPTION override session configuration OPTION (via NAME=VAL or NAME)" |
24 echo " -s system build mode: produce output in ISABELLE_HOME" |
24 echo " -s system build mode: produce output in ISABELLE_HOME" |
|
25 echo " -t inner session timing" |
25 echo " -v verbose" |
26 echo " -v verbose" |
26 echo |
27 echo |
27 echo " Build and manage Isabelle sessions, depending on implicit" |
28 echo " Build and manage Isabelle sessions, depending on implicit" |
28 echo " ISABELLE_BUILD_OPTIONS=\"$ISABELLE_BUILD_OPTIONS\"" |
29 echo " ISABELLE_BUILD_OPTIONS=\"$ISABELLE_BUILD_OPTIONS\"" |
29 echo |
30 echo |
52 ALL_SESSIONS=false |
53 ALL_SESSIONS=false |
53 BUILD_IMAGES=false |
54 BUILD_IMAGES=false |
54 MAX_JOBS=1 |
55 MAX_JOBS=1 |
55 LIST_ONLY=false |
56 LIST_ONLY=false |
56 SYSTEM_MODE=false |
57 SYSTEM_MODE=false |
|
58 TIMING=false |
57 VERBOSE=false |
59 VERBOSE=false |
58 |
60 |
59 declare -a MORE_DIRS=() |
61 declare -a MORE_DIRS=() |
60 eval "declare -a BUILD_OPTIONS=($ISABELLE_BUILD_OPTIONS)" |
62 eval "declare -a BUILD_OPTIONS=($ISABELLE_BUILD_OPTIONS)" |
61 |
63 |
62 while getopts "abd:j:lo:sv" OPT |
64 while getopts "abd:j:lo:stv" OPT |
63 do |
65 do |
64 case "$OPT" in |
66 case "$OPT" in |
65 a) |
67 a) |
66 ALL_SESSIONS="true" |
68 ALL_SESSIONS="true" |
67 ;; |
69 ;; |
82 BUILD_OPTIONS["${#BUILD_OPTIONS[@]}"]="$OPTARG" |
84 BUILD_OPTIONS["${#BUILD_OPTIONS[@]}"]="$OPTARG" |
83 ;; |
85 ;; |
84 s) |
86 s) |
85 SYSTEM_MODE="true" |
87 SYSTEM_MODE="true" |
86 ;; |
88 ;; |
|
89 t) |
|
90 TIMING="true" |
|
91 ;; |
87 v) |
92 v) |
88 VERBOSE="true" |
93 VERBOSE="true" |
89 ;; |
94 ;; |
90 \?) |
95 \?) |
91 usage |
96 usage |
99 ## main |
104 ## main |
100 |
105 |
101 [ -e "$ISABELLE_HOME/Admin/build" ] && { "$ISABELLE_HOME/Admin/build" jars || exit $?; } |
106 [ -e "$ISABELLE_HOME/Admin/build" ] && { "$ISABELLE_HOME/Admin/build" jars || exit $?; } |
102 |
107 |
103 exec "$ISABELLE_TOOL" java isabelle.Build \ |
108 exec "$ISABELLE_TOOL" java isabelle.Build \ |
104 "$ALL_SESSIONS" "$BUILD_IMAGES" "$MAX_JOBS" "$LIST_ONLY" "$SYSTEM_MODE" "$VERBOSE" \ |
109 "$ALL_SESSIONS" "$BUILD_IMAGES" "$MAX_JOBS" "$LIST_ONLY" "$SYSTEM_MODE" "$TIMING" \ |
105 "${MORE_DIRS[@]}" $'\n' "${BUILD_OPTIONS[@]}" $'\n' "$@" |
110 "$VERBOSE" "${MORE_DIRS[@]}" $'\n' "${BUILD_OPTIONS[@]}" $'\n' "$@" |