From 912c083353fd4b1b2244fcca4d299768679e5311 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Max=20L=C3=BCbke?= <mluebke@gfz-potsdam.de>
Date: Thu, 7 Mar 2024 13:39:14 +0000
Subject: [PATCH 1/2] Add Dockerfile for CI environment

---
 util/ci.Dockerfile | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 util/ci.Dockerfile

diff --git a/util/ci.Dockerfile b/util/ci.Dockerfile
new file mode 100644
index 000000000..a91583eb9
--- /dev/null
+++ b/util/ci.Dockerfile
@@ -0,0 +1,12 @@
+FROM debian
+
+RUN apt-get update && export DEBIAN_FRONTEND=noninteractive \
+    && apt-get install -y \
+        cmake-curses-gui \
+        clangd \
+        git \
+        libeigen3-dev \
+        libopenmpi-dev \
+        r-cran-rcpp \
+        r-cran-rinside \
+        libssl-dev
\ No newline at end of file

From 5c44146633ac30e58d4af77b5a4182557e335403 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Max=20L=C3=BCbke?= <mluebke@gfz-potsdam.de>
Date: Thu, 7 Mar 2024 13:39:27 +0000
Subject: [PATCH 2/2] Fix build of pages

---
 .gitlab-ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1a7bf2db0..8a16aae80 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -104,9 +104,9 @@ pages:
   stage: release
   before_script:
     - apt-get update && apt-get install -y doxygen graphviz
-    - mkdir {build,public}
+    - mkdir {build_pages,public}
   script:
-    - pushd build
+    - pushd build_pages
     - cmake .. && make doxygen
     - popd && mv build/docs/html/* public/
   artifacts: