equal
deleted
inserted
replaced
21 Usage: $PRG [MODULES] |
21 Usage: $PRG [MODULES] |
22 |
22 |
23 Produce Isabelle distribution modules from current repository sources. |
23 Produce Isabelle distribution modules from current repository sources. |
24 The MODULES list may contain any of the following: |
24 The MODULES list may contain any of the following: |
25 |
25 |
26 all all modules below *except* doc-src |
26 all all modules below |
27 browser graph browser (requires jdk) |
27 browser graph browser (requires jdk) |
28 doc documentation (requires latex) |
28 doc documentation (requires latex) |
29 doc-src documentation sources from Isabelle theories |
|
30 jars Isabelle/Scala layer (requires \$ISABELLE_JDK_HOME and \$SCALA_HOME) |
29 jars Isabelle/Scala layer (requires \$ISABELLE_JDK_HOME and \$SCALA_HOME) |
31 jars_test test separate build of jars |
30 jars_test test separate build of jars |
32 jars_fresh fresh build of jars |
31 jars_fresh fresh build of jars |
33 |
32 |
34 EOF |
33 EOF |
82 popd >/dev/null |
81 popd >/dev/null |
83 done |
82 done |
84 } |
83 } |
85 |
84 |
86 |
85 |
87 function build_doc-src () |
|
88 { |
|
89 echo "###" |
|
90 echo "### Building documentation sources..." |
|
91 echo "###" |
|
92 |
|
93 cd "$ISABELLE_HOME/doc-src" |
|
94 for DOC in $(cat Dirs) |
|
95 do |
|
96 pushd "$DOC" >/dev/null |
|
97 if [[ -f "IsaMakefile" ]] |
|
98 then |
|
99 "$ISABELLE_TOOL" make || exit $? |
|
100 fi |
|
101 popd >/dev/null |
|
102 done |
|
103 } |
|
104 |
|
105 |
|
106 function build_jars () |
86 function build_jars () |
107 { |
87 { |
108 pushd "$ISABELLE_HOME/src/Pure" >/dev/null |
88 pushd "$ISABELLE_HOME/src/Pure" >/dev/null |
109 "$ISABELLE_TOOL" env ./build-jars "$@" || exit $? |
89 "$ISABELLE_TOOL" env ./build-jars "$@" || exit $? |
110 popd >/dev/null |
90 popd >/dev/null |
117 do |
97 do |
118 case $MODULE in |
98 case $MODULE in |
119 all) build_all;; |
99 all) build_all;; |
120 browser) build_browser;; |
100 browser) build_browser;; |
121 doc) build_doc;; |
101 doc) build_doc;; |
122 doc-src) build_doc-src;; |
|
123 jars) build_jars;; |
102 jars) build_jars;; |
124 jars_fresh) build_jars -f;; |
103 jars_fresh) build_jars -f;; |
125 jars_test) build_jars -t;; |
104 jars_test) build_jars -t;; |
126 *) fail "Bad module $MODULE" |
105 *) fail "Bad module $MODULE" |
127 esac |
106 esac |