discontinued presumably obsolete attempts at doc-src testing (cf. 3b02b0ef8d48, 89cc3dfb383b);
authorwenzelm
Mon Aug 06 14:19:56 2012 +0200 (2012-08-06)
changeset 48691335d60e1e328
parent 48690 c1499b14b48c
child 48692 90e5093c3e1c
discontinued presumably obsolete attempts at doc-src testing (cf. 3b02b0ef8d48, 89cc3dfb383b);
Admin/build
Admin/mira.py
     1.1 --- a/Admin/build	Mon Aug 06 11:59:09 2012 +0200
     1.2 +++ b/Admin/build	Mon Aug 06 14:19:56 2012 +0200
     1.3 @@ -23,10 +23,9 @@
     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 *except* doc-src
     1.8 +    all             all modules below
     1.9      browser         graph browser (requires jdk)
    1.10      doc             documentation (requires latex)
    1.11 -    doc-src         documentation sources from Isabelle theories
    1.12      jars            Isabelle/Scala layer (requires \$ISABELLE_JDK_HOME and \$SCALA_HOME)
    1.13      jars_test       test separate build of jars
    1.14      jars_fresh      fresh build of jars
    1.15 @@ -84,25 +83,6 @@
    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 @@ -119,7 +99,6 @@
    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      jars_test) build_jars -t;;
     2.1 --- a/Admin/mira.py	Mon Aug 06 11:59:09 2012 +0200
     2.2 +++ b/Admin/mira.py	Mon Aug 06 14:19:56 2012 +0200
     2.3 @@ -427,19 +427,4 @@
     2.4      (ZF, [0]),
     2.5      (HOL_Library, [0])
     2.6    ])
     2.7 -def Documentation_images(*args):
     2.8 -    """Isabelle images needed to build the documentation"""
     2.9 -    return isabelle_dependency_only(*args)
    2.10  
    2.11 -@configuration(repos = [Isabelle], deps = [(Documentation_images, [0])])
    2.12 -def Documentation(env, case, paths, dep_paths, playground):
    2.13 -    """Build of documentation"""
    2.14 -    isabelle_home = paths[0]
    2.15 -    dep_path = dep_paths[0]
    2.16 -    prepare_isabelle_repository(isabelle_home, env.settings.contrib, dep_path,
    2.17 -      usedir_options = default_usedir_options)
    2.18 -    (return_code, log) = env.run_process(path.join(isabelle_home, 'Admin', 'build', 'doc-src'))
    2.19 -    return (return_code == 0, extract_isabelle_run_summary(log),
    2.20 -      extract_report_data(isabelle_home, log), {'log': log}, None)
    2.21 -
    2.22 -