equal
deleted
inserted
replaced
153 *} |
153 *} |
154 |
154 |
155 |
155 |
156 section {* Invoking the build process \label{sec:tool-build} *} |
156 section {* Invoking the build process \label{sec:tool-build} *} |
157 |
157 |
158 text {* The @{tool_def build} utility invokes the build process for |
158 text {* The @{tool_def build} tool invokes the build process for |
159 Isabelle sessions. It manages dependencies between sessions, |
159 Isabelle sessions. It manages dependencies between sessions, |
160 related sources of theories and auxiliary files, and target heap |
160 related sources of theories and auxiliary files, and target heap |
161 images. Accordingly, it runs instances of the prover process with |
161 images. Accordingly, it runs instances of the prover process with |
162 optional document preparation. Its command-line usage |
162 optional document preparation. Its command-line usage |
163 is:\footnote{Isabelle/Scala provides the same functionality via |
163 is:\footnote{Isabelle/Scala provides the same functionality via |
164 \texttt{isabelle.Build.build}.} |
164 \texttt{isabelle.Build.build}.} |
165 \begin{ttbox} Usage: isabelle build [OPTIONS] [SESSIONS ...] |
165 \begin{ttbox} |
|
166 Usage: isabelle build [OPTIONS] [SESSIONS ...] |
166 |
167 |
167 Options are: |
168 Options are: |
168 -a select all sessions |
169 -a select all sessions |
169 -b build heap images |
170 -b build heap images |
170 -c clean build |
171 -c clean build |