doc-src build option (for emerging mira configuration)
authorhaftmann
Wed Mar 14 15:54:54 2012 +0100 (2012-03-14)
changeset 469333b02b0ef8d48
parent 46932 53d06963d83d
child 46934 89cc3dfb383b
doc-src build option (for emerging mira configuration)
Admin/build
     1.1 --- a/Admin/build	Wed Mar 14 15:54:27 2012 +0100
     1.2 +++ b/Admin/build	Wed Mar 14 15:54:54 2012 +0100
     1.3 @@ -23,9 +23,10 @@
     1.4    Produce Isabelle distribution modules from current repository sources.
     1.5    The MODULES list may contain any of the following:
     1.6  
     1.7 -    all             all modules below
     1.8 +    all             all modules below *except* doc-src
     1.9      browser         graph browser (requires jdk)
    1.10      doc             documentation (requires latex and rail)
    1.11 +    doc-src         documentation sources from Isabelle theories
    1.12      jars            Isabelle/Scala layer (requires Scala in \$SCALA_HOME)
    1.13      jars_fresh      fresh build of jars
    1.14  
    1.15 @@ -82,6 +83,25 @@
    1.16  }
    1.17  
    1.18  
    1.19 +function build_doc-src ()
    1.20 +{
    1.21 +  echo "###"
    1.22 +  echo "### Building documentation sources..."
    1.23 +  echo "###"
    1.24 +
    1.25 +  cd "$ISABELLE_HOME/doc-src"
    1.26 +  for DOC in $(cat Dirs)
    1.27 +  do
    1.28 +    pushd "$DOC" >/dev/null
    1.29 +    if [[ -f "IsaMakefile" ]]
    1.30 +    then
    1.31 +      "$ISABELLE_TOOL" make || exit $?
    1.32 +    fi
    1.33 +    popd >/dev/null
    1.34 +  done
    1.35 +}
    1.36 +
    1.37 +
    1.38  function build_jars ()
    1.39  {
    1.40    pushd "$ISABELLE_HOME/src/Pure" >/dev/null
    1.41 @@ -98,6 +118,7 @@
    1.42      all) build_all;;
    1.43      browser) build_browser;;
    1.44      doc) build_doc;;
    1.45 +    doc-src) build_doc-src;;
    1.46      jars) build_jars;;
    1.47      jars_fresh) build_jars -f;;
    1.48      *) fail "Bad module $MODULE"