equal
deleted
inserted
replaced
25 |
25 |
26 all all modules below |
26 all all modules below |
27 browser graph browser (requires jdk) |
27 browser graph browser (requires jdk) |
28 doc documentation (requires latex and rail) |
28 doc documentation (requires latex and rail) |
29 jars Isabelle/Scala layer (requires Scala in \$SCALA_HOME) |
29 jars Isabelle/Scala layer (requires Scala in \$SCALA_HOME) |
|
30 jars_fresh fresh build of jars |
30 |
31 |
31 EOF |
32 EOF |
32 exit 1 |
33 exit 1 |
33 } |
34 } |
34 |
35 |
82 |
83 |
83 |
84 |
84 function build_jars () |
85 function build_jars () |
85 { |
86 { |
86 pushd "$ISABELLE_HOME/src/Pure" >/dev/null |
87 pushd "$ISABELLE_HOME/src/Pure" >/dev/null |
87 "$ISABELLE_TOOL" env ./build-jars || exit $? |
88 "$ISABELLE_TOOL" env ./build-jars "$@" || exit $? |
88 popd >/dev/null |
89 popd >/dev/null |
89 } |
90 } |
90 |
91 |
91 |
92 |
92 ## main |
93 ## main |
96 case $MODULE in |
97 case $MODULE in |
97 all) build_all;; |
98 all) build_all;; |
98 browser) build_browser;; |
99 browser) build_browser;; |
99 doc) build_doc;; |
100 doc) build_doc;; |
100 jars) build_jars;; |
101 jars) build_jars;; |
|
102 jars_fresh) build_jars -f;; |
101 *) fail "Bad module $MODULE" |
103 *) fail "Bad module $MODULE" |
102 esac |
104 esac |
103 done |
105 done |