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;
     1 This contains a Maven project which assembles all third-party dependencies for
     2 the Jenkins build script and packages them up as an Isabelle component.
     3 
     4 To produce the Isabelle component, run './package'. This will create a tarball
     5 in the 'dist' folder.
     6 
     7 The constituent packages, including sources and individual copyright notices,
     8 can be found in the 'contrib' folder.
     9 
    10 
    11 Lars Hupel, 24-May-2016