# 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