Resolve "Use more recent version of Ubuntu in Docker" (!189) · Merge Requests · dorie / dorie

Resolve "Use more recent version of Ubuntu in Docker"

What does this MR do?

Updates base Ubuntu image we use in our CI

Update Ubuntu version of base docker image to Ubuntu Focal Fossa 20.04 LTS.
Stop vendoring spdlog. Spdlog is now handled like any external dependency and installed into the Docker base image.
Bump versions of required software packages to versions available form Ubuntu Focal.
Remove deprecated python3-vtk7 bindings package from base image. Add libgl-dev for Python VTK package support.
Change base image versioning scheme to reflect Ubuntu version. New scheme: dorie/dune-env:{ubuntu}-v{version}.

Is there something that needs to be double checked?

Coverage seems to be reduced by this change. No idea why, it shouldn't be the case.

Can this MR be accepted?

Assignee: If the Squash option is set, check/update the commit message right before merging!

Related issues

Closes #178 (closed)

### What does this MR do?
Updates base Ubuntu image we use in our CI
* Update Ubuntu version of base docker image to Ubuntu Focal Fossa 20.04 LTS.
* Stop vendoring spdlog. Spdlog is now handled like any external dependency and installed into the Docker base image.
* Bump versions of required software packages to versions available form Ubuntu Focal.
* Remove deprecated `python3-vtk7` bindings package from base image. Add `libgl-dev` for Python VTK package support.
* Change base image versioning scheme to reflect Ubuntu version. New scheme: `dorie/dune-env:{ubuntu}-v{version}`.

### Is there something that needs to be double checked?

* Coverage seems to be reduced by this change. No idea why, it shouldn't be the case.

### Can this MR be accepted?
- [x] Implemented
  * [x] Base image `Focal Fossa` updated and tested
  * [x] Use spdlog from base image
- [x] Updated `README.md`
- [x] Pipeline passing 
- [x] Squash option set 
- [x] Delete branch option set 
- [x] Added entry to `CHANGELOG.md`

_**Assignee:** If the Squash option is set, check/update the commit message right before merging!_

### Related issues

Closes #178

<!--
PLEASE READ THIS!

A Merge Request should be associated to a certain task or issue.
Its changes are supposed to be merged into the master branch.

Briefly explain __how__ you achieved the proposal of the task.

IMPORTANT: Make sure to set the merge request WIP if you are not finished yet.
-->

Edited Aug 04, 2020 by Lukas Riedel