equal
deleted
inserted
replaced
26 all all modules below *except* doc-src |
26 all all modules below *except* doc-src |
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 doc-src documentation sources from Isabelle theories |
29 doc-src documentation sources from Isabelle theories |
30 jars Isabelle/Scala layer (requires \$ISABELLE_JDK_HOME and \$SCALA_HOME) |
30 jars Isabelle/Scala layer (requires \$ISABELLE_JDK_HOME and \$SCALA_HOME) |
|
31 jars_test test separate build of jars |
31 jars_fresh fresh build of jars |
32 jars_fresh fresh build of jars |
32 |
33 |
33 EOF |
34 EOF |
34 exit 1 |
35 exit 1 |
35 } |
36 } |
119 browser) build_browser;; |
120 browser) build_browser;; |
120 doc) build_doc;; |
121 doc) build_doc;; |
121 doc-src) build_doc-src;; |
122 doc-src) build_doc-src;; |
122 jars) build_jars;; |
123 jars) build_jars;; |
123 jars_fresh) build_jars -f;; |
124 jars_fresh) build_jars -f;; |
|
125 jars_test) build_jars -t;; |
124 *) fail "Bad module $MODULE" |
126 *) fail "Bad module $MODULE" |
125 esac |
127 esac |
126 done |
128 done |