From b5d890eedd51bdb225bc8344e08ff88b4c6b0dae Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Wed, 27 Apr 2022 13:43:49 +0200
Subject: [PATCH] install Catch2 for docker_d2 and update Jenkinsfile

---
 automation/Dockerfile  | 5 +++++
 automation/Jenkinsfile | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/automation/Dockerfile b/automation/Dockerfile
index 9df67fc8..5eda79e9 100644
--- a/automation/Dockerfile
+++ b/automation/Dockerfile
@@ -6,3 +6,8 @@ RUN apt-get --yes upgrade
 #tzdata is a dependency, won't install otherwise
 ARG DEBIAN_FRONTEND=noninteractive
 RUN apt-get --yes install gcc g++ cmake make lcov git valgrind nano iputils-ping
+
+RUN git clone https://github.com/catchorg/Catch2.git && \
+	cd Catch2 && \
+	cmake -Bbuild -H. -DBUILD_TESTING=OFF && \
+	cmake --build build/ --target install
diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile
index d1459e52..6abf5636 100644
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@@ -3,7 +3,7 @@ pipeline {
         BUILDDIR = 'build-tests'
     }
     agent {
-        docker { image 'fsfw-ci:d1'}
+        docker { image 'fsfw-ci:d2'}
     }
     stages {
         stage('Clean') {