| author | Lars Hupel <lars.hupel@mytum.de> |
| Tue, 24 May 2016 22:46:23 +0200 | |
| changeset 63143 | ef72b104fa32 |
| permissions | -rw-r--r-- |
|
63143
ef72b104fa32
new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
1 |
This contains a Maven project which assembles all third-party dependencies for |
|
ef72b104fa32
new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
2 |
the Jenkins build script and packages them up as an Isabelle component. |
|
ef72b104fa32
new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
3 |
|
|
ef72b104fa32
new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
4 |
To produce the Isabelle component, run './package'. This will create a tarball |
|
ef72b104fa32
new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
5 |
in the 'dist' folder. |
|
ef72b104fa32
new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
6 |
|
|
ef72b104fa32
new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
7 |
The constituent packages, including sources and individual copyright notices, |
|
ef72b104fa32
new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
8 |
can be found in the 'contrib' folder. |
|
ef72b104fa32
new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
9 |
|
|
ef72b104fa32
new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
10 |
|
|
ef72b104fa32
new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
11 |
Lars Hupel, 24-May-2016 |