equal
deleted
inserted
replaced
13 { |
13 { |
14 echo |
14 echo |
15 echo "Usage: isabelle $PRG [OPTIONS] SESSION" |
15 echo "Usage: isabelle $PRG [OPTIONS] SESSION" |
16 echo |
16 echo |
17 echo " Options are:" |
17 echo " Options are:" |
|
18 echo " -c clean build" |
18 echo " -d DIR include session directory" |
19 echo " -d DIR include session directory" |
|
20 echo " -s system build mode: produce output in ISABELLE_HOME" |
19 echo |
21 echo |
20 echo " Build Isabelle session images via GUI dialog." |
22 echo " Build Isabelle session image via GUI dialog." |
21 echo |
23 echo |
22 exit 1 |
24 exit 1 |
23 } |
25 } |
24 |
26 |
25 function fail() |
27 function fail() |
29 } |
31 } |
30 |
32 |
31 |
33 |
32 ## process command line |
34 ## process command line |
33 |
35 |
|
36 CLEAN_BUILD=false |
34 declare -a INCLUDE_DIRS=() |
37 declare -a INCLUDE_DIRS=() |
|
38 SYSTEM_MODE=false |
35 |
39 |
36 while getopts "d:" OPT |
40 while getopts "cd:s" OPT |
37 do |
41 do |
38 case "$OPT" in |
42 case "$OPT" in |
|
43 c) |
|
44 CLEAN_BUILD="true" |
|
45 ;; |
39 d) |
46 d) |
40 INCLUDE_DIRS["${#INCLUDE_DIRS[@]}"]="$OPTARG" |
47 INCLUDE_DIRS["${#INCLUDE_DIRS[@]}"]="$OPTARG" |
|
48 ;; |
|
49 s) |
|
50 SYSTEM_MODE="true" |
41 ;; |
51 ;; |
42 \?) |
52 \?) |
43 usage |
53 usage |
44 ;; |
54 ;; |
45 esac |
55 esac |
57 |
67 |
58 ## main |
68 ## main |
59 |
69 |
60 [ -e "$ISABELLE_HOME/Admin/build" ] && { "$ISABELLE_HOME/Admin/build" jars || exit $?; } |
70 [ -e "$ISABELLE_HOME/Admin/build" ] && { "$ISABELLE_HOME/Admin/build" jars || exit $?; } |
61 |
71 |
62 "$ISABELLE_TOOL" java isabelle.Build_Dialog "${INCLUDE_DIRS[@]}" $'\n' "$SESSION" |
72 "$ISABELLE_TOOL" java isabelle.Build_Dialog \ |
|
73 "$CLEAN_BUILD" "$SYSTEM_MODE" "$SESSION" "${INCLUDE_DIRS[@]}" |
63 |
74 |