231 |
231 |
232 |
232 |
233 Building a repository version of Isabelle |
233 Building a repository version of Isabelle |
234 ----------------------------------------- |
234 ----------------------------------------- |
235 |
235 |
236 Compared to a proper distribution or development snapshot, it is |
236 A proper Isabelle distribution contains many add-on components that |
237 relatively hard to build from the raw repository version. Essential |
237 are important for practical use. Some extra configuration is required |
238 contributing components are missing and need to be reconstructed by |
238 to approximate this system integration from a bare-bones repository |
239 running the Admin/build script by hand. Afterwards the main Isabelle |
239 snapshot; see also its directory Admin/ (which is absent in official |
240 system and logic images can be compiled via the toplevel ./build |
240 releases). |
241 script. Note that the repository lacks some textual version |
241 |
242 identifiers in the sources and scripts; this implies some changed |
242 (1) Admin/components lists potentially relevant components, with |
243 behavior when processing settings etc. |
243 explicit version information for the given repository version. |
244 |
244 For example, this allows to bisect over Mercurial history while |
245 There is no guarantee that the NEWS file is up to date at an arbitrary |
245 the contributing components change accordingly. |
246 point in history. |
246 |
|
247 (2) Admin/init_components is a bash script that can be sourced in |
|
248 $ISABELLE_HOME_USER/etc/settings to initialize components listed |
|
249 in Admin/components and present in $ISABELLE_HOME_USER/contrib/. |
|
250 |
|
251 (3) http://isabelle.in.tum.de/components/ provides tar.gz archives |
|
252 of many components, excluding some non-free ones (which are also |
|
253 not part of Isabelle releases). |
|
254 |
|
255 Also note that the repository lacks some textual version identifiers |
|
256 in the sources and scripts; this implies some changed behavior when |
|
257 processing settings etc. -- especially the location of |
|
258 $ISABELLE_HOME_USER provided by the system. |
|
259 |
|
260 The isabelle build tool allows to build logic images. |