# Version 0.1
FROM ubuntu:20.04

# Ensure use of bash
SHELL ["/bin/bash","-c"]

# Time Zone
ENV TZ=Europe/Paris
RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone

RUN touch /etc/apt/apt.conf.d/99verify-peer.conf \
&& echo >>/etc/apt/apt.conf.d/99verify-peer.conf "Acquire { https::Verify-Peer false }"

# Apt and debconf configuration
RUN echo 'debconf debconf/frontend select Noninteractive' | debconf-set-selections
ARG DEBIAN_FRONTEND=noninteractive

# Update
RUN apt-get -y update

# Anstallation
RUN apt-get install -y apt-utils

RUN apt-get install -y wget

RUN apt-get install -y gcc g++ cmake make git

RUN apt-get install -y doxygen graphviz

# Gcov goes with gcc
RUN apt-get install -y gcovr

RUN apt-get -y clean autoremove

