Admin/jenkins/ci-extras/README
author wenzelm
Mon Oct 30 20:12:10 2017 +0100 (23 months ago)
changeset 66949 6c5e4ac0398b
parent 63143 ef72b104fa32
permissions -rw-r--r--
NEWS;
lars@63143
     1
This contains a Maven project which assembles all third-party dependencies for
lars@63143
     2
the Jenkins build script and packages them up as an Isabelle component.
lars@63143
     3
lars@63143
     4
To produce the Isabelle component, run './package'. This will create a tarball
lars@63143
     5
in the 'dist' folder.
lars@63143
     6
lars@63143
     7
The constituent packages, including sources and individual copyright notices,
lars@63143
     8
can be found in the 'contrib' folder.
lars@63143
     9
lars@63143
    10
lars@63143
    11
Lars Hupel, 24-May-2016