- 05 Feb, 2016 1 commit
-
-
Ansgar Burchardt authored
When only leaf images are rebuilt, the Packages index might be outdated and refer to packages that no longer exist in the archive. Always running "apt-get update" before installing packages avoids this. Also remove contents of /var/lib/apt/lists as we no longer use it and it allows to keep the images slightly smaller.
-
- 03 Feb, 2016 1 commit
-
-
Ansgar Burchardt authored
-
- 02 Feb, 2016 3 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
This allows `dune-contact` to be built using this image.
-
- 01 Feb, 2016 4 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 29 Jan, 2016 2 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
It's contraproductive to cache "git pull" from the master branch as we would not pick up changes this way. The same applies for "apt-get update".
-
- 28 Jan, 2016 2 commits
-
-
Ansgar Burchardt authored
Some of them fail and are not yet fixed upstream...
-
Ansgar Burchardt authored
-
- 27 Jan, 2016 7 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
This is the current state of the Git master branch of the DUNE core modules. The image needs to be rebuilt from time to time. We use a staged build to make sure to only update the image if the tests for the core modules pass.
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 26 Jan, 2016 5 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
These are useful to build packages that do not depend on the DUNE core modules like UG or the core modules themselves.
-
- 25 Jan, 2016 2 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-