README_REPOSITORY
changeset 48497 ba61aceaa18a
parent 47449 5e1482296b12
child 48844 6408fb6f7d81
equal deleted inserted replaced
48496:a7eed34cf219 48497:ba61aceaa18a
   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.