Admin/build
changeset 48498 62f183129ae6
parent 47408 63c05991882e
child 48691 335d60e1e328
equal deleted inserted replaced
48497:ba61aceaa18a 48498:62f183129ae6
    23   Produce Isabelle distribution modules from current repository sources.
    23   Produce Isabelle distribution modules from current repository sources.
    24   The MODULES list may contain any of the following:
    24   The MODULES list may contain any of the following:
    25 
    25 
    26     all             all modules below *except* doc-src
    26     all             all modules below *except* doc-src
    27     browser         graph browser (requires jdk)
    27     browser         graph browser (requires jdk)
    28     doc             documentation (requires latex and rail)
    28     doc             documentation (requires latex)
    29     doc-src         documentation sources from Isabelle theories
    29     doc-src         documentation sources from Isabelle theories
    30     jars            Isabelle/Scala layer (requires \$ISABELLE_JDK_HOME and \$SCALA_HOME)
    30     jars            Isabelle/Scala layer (requires \$ISABELLE_JDK_HOME and \$SCALA_HOME)
    31     jars_test       test separate build of jars
    31     jars_test       test separate build of jars
    32     jars_fresh      fresh build of jars
    32     jars_fresh      fresh build of jars
    33 
    33