Merged PR 6: add dockerfile

Author: arnemertz

docker/Dockerfile

@@ -0,0 +1,66 @@
+# =================================
+# Build and test environment for CI
+# =================================
+
+FROM ubuntu:20.04 as cpp-docker-ci
+
+ARG DEBIAN_FRONTEND=noninteractive
+
+RUN apt-get update && apt-get -y dist-upgrade && apt-get -y install --fix-missing \
+  binutils \
+  build-essential \
+  bzip2 \
+  clang-format \
+  cmake \
+  cppcheck \
+  lsb-release \
+  ninja-build \
+  python \
+  python3-pip \
+  ssh \
+  software-properties-common \
+  sudo \
+  tar \
+  wget \
+  && apt-get autoremove -y && apt-get clean
+ RUN bash -c "$(wget -O - https://apt.llvm.org/llvm.sh)" \
+ RUN pip install --user conan
+
+
+
+# =================================
+# DEV environment for local machine
+# =================================
+
+FROM cpp-docker-ci as cpp-docker-dev
+
+ARG DEV_USER=dev
+
+RUN apt-get -y install --fix-missing \
+  ccache \
+  curl \
+  doxygen \
+  graphviz \
+  shellcheck \
+  valgrind \
+  vim \
+  && apt-get autoremove -y && apt-get clean
+
+# Dev user for inside the container
+RUN groupadd -g 1000 ${DEV_USER} && \
+  useradd -m -u 1000 -g 1000 -d /home/${DEV_USER} -s /bin/bash ${DEV_USER} && \
+  usermod -a -G adm,cdrom,sudo,dip,plugdev ${DEV_USER} && \
+  echo "${DEV_USER}:${DEV_USER}" | chpasswd && \
+  echo "${DEV_USER}   ALL=(ALL:ALL) ALL" >> /etc/sudoers
+
+# fix "Missing privilege separation directory" error in SSHD
+# see: https://bugs.launchpad.net/ubuntu/+source/openssh/+bug/45234
+RUN mkdir /var/run/sshd && chmod 0755 /var/run/sshd
+
+COPY ccache.conf /etc/.
+
+USER ${DEV_USER}
+WORKDIR /home/${DEV_USER}
+
+RUN sed -i 's/\\h/docker/;s/01;32m/01;33m/' /home/${DEV_USER}/.bashrc \
+  && mkdir /home/${DEV_USER}/git

docker/build-ci-image.sh

@@ -0,0 +1,5 @@
+#!/bin/bash -e
+
+DOCKER_BUILDKIT=1 docker -l debug build \
+    --target cpp-docker-ci \
+    -t cppcienv:latest .

docker/build-dev-image.sh

@@ -0,0 +1,6 @@
+#!/bin/bash -e
+
+DOCKER_BUILDKIT=1 docker -l debug build \
+    --target cpp-docker-dev \
+    --build-arg DEV_USER=dev \
+    -t cppdevenv:latest .

docker/ccache.conf

@@ -0,0 +1 @@
+max_size = 20.0G

docker/cppdev-docker

@@ -0,0 +1,14 @@
+#! /bin/bash
+CONTAINER=cpp_docker_env
+WORKDIR=$(pwd)
+
+if ! /usr/bin/docker ps | grep "${CONTAINER}" > /dev/null; then
+  docker-compose up -d
+fi
+
+if [ $# -ne 0 ]; then
+  docker exec -i -t -u dev:dev "${CONTAINER}" bash -c "if [ -d \"${WORKDIR}\" ]; then cd ${WORKDIR}; fi; $*"
+else
+  # (The shell is interactive if bash is called without arguments :)
+  docker exec -i -t -u dev:dev "${CONTAINER}" bash -c "if [ -d \"${WORKDIR}\" ]; then cd ${WORKDIR}; fi; bash"
+fi

docker/docker-compose.yml

@@ -0,0 +1,27 @@
+version: '3'
+
+services:
+  ssh:
+    security_opt: # options needed for gdb debugging
+      - seccomp:unconfined
+      - apparmor:unconfined
+    cap_add:
+      - SYS_PTRACE
+    container_name: cpp_docker_env
+    image: cppdevenv:latest
+    environment:
+        - TERM=xterm-256color # For a colored Terminal
+        - SSH_AUTH_SOCK=/ssh-agent
+    volumes:
+        - ${SSH_AUTH_SOCK}:/ssh-agent # Forward local machine SSH to docker
+        - ${HOME}/.ssh/known_hosts:/home/dev/.ssh/known_hosts # If the host trusts, we shall trust as well.
+        - ${HOME}/.ssh/config:/home/dev/.ssh/config
+        - ${HOME}/.gitconfig:/home/dev/.gitconfig
+        - ${HOME}/git:/home/dev/git
+    command: /usr/sbin/sshd -D
+    user: root
+    network_mode: "bridge"
+    ports:
+      - "2222:22"
+    privileged: true
+    hostname: cpp_docker_env