- 12 Jul, 2016 3 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
The `parametertreelocaletest` test requires a locale that uses a comma instead of a dot as the decimal seperator. Bug: https://github.com/aburch/dune-docker/issues/1
-
- 11 Jul, 2016 1 commit
- 07 Jul, 2016 5 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 28 Apr, 2016 8 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 21 Mar, 2016 1 commit
-
-
Ansgar Burchardt authored
Without "-v", docker would keep around volumes used by the container forever and eventually fill the disk.
-
- 16 Feb, 2016 5 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
Docker keeps containers and images around after the container is no longer in use. These eat up all disk space and need to be cleaned up from time to time.
-
Ansgar Burchardt authored
-
- 15 Feb, 2016 3 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
This is easier than setting CMAKE_FLAGS directly in .gitlab-ci.yml and allows to change options in a central place (or two places).
-
Ansgar Burchardt authored
It is used by tests in dune-fufem.
-
- 05 Feb, 2016 2 commits
-
-
Ansgar Burchardt authored
This works around https://bugs.debian.org/813000
-
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
-