From 99a62420e73441432c4b39925c6fe2b27cc43b4a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Max=20L=C3=BCbke?= Date: Thu, 7 Mar 2024 13:39:14 +0000 Subject: [PATCH] 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