Admin/jenkins/ci-extras/README
author paulson
Sat, 07 Nov 2020 23:20:43 +0000
changeset 72561 e1d04777d8b6
parent 63143 ef72b104fa32
permissions -rw-r--r--
merged

This contains a Maven project which assembles all third-party dependencies for
the Jenkins build script and packages them up as an Isabelle component.

To produce the Isabelle component, run './package'. This will create a tarball
in the 'dist' folder.

The constituent packages, including sources and individual copyright notices,
can be found in the 'contrib' folder.


Lars Hupel, 24-May-2016