From 7f276fb89d659ad86bf2b862f4de4ed3c362d3d6 Mon Sep 17 00:00:00 2001
From: Jan Sucan <jan@jansucan.com>
Date: Fri, 26 Apr 2024 08:55:12 +0200
Subject: devel_tools: Add CI Docker image

---
 devel_tools/ci_container/Dockerfile | 37 +++++++++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)
 create mode 100644 devel_tools/ci_container/Dockerfile

(limited to 'devel_tools/ci_container/Dockerfile')

diff --git a/devel_tools/ci_container/Dockerfile b/devel_tools/ci_container/Dockerfile
new file mode 100644
index 0000000..3cca866
--- /dev/null
+++ b/devel_tools/ci_container/Dockerfile
@@ -0,0 +1,37 @@
+FROM ubuntu:22.04
+
+RUN <<EOF
+    apt-get update
+    apt-get install -y g++ python3 pip git clang-format
+    python3 -m pip install pre-commit
+EOF
+
+RUN <<EOF
+    apt-get install -y wget cmake libpcre3-dev
+
+    cd /tmp
+    wget https://github.com/danmar/cppcheck/archive/2.14.0.tar.gz
+    tar xvf 2.14.0.tar.gz
+    cd cppcheck-2.14.0
+
+    mkdir build
+    cd build
+    cmake \
+        -DCMAKE_INSTALL_PREFIX=/usr \
+        -DCMAKE_BUILD_TYPE=Release \
+        -DBUILD_GUI=Off \
+        -DUSE_MATCHCOMPILER=On \
+        -DHAVE_RULES=On \
+        ..
+    make install/strip
+
+    rm -r /tmp/2.14.0.tar.gz /tmp/cppcheck-2.14.0
+    apt-get remove -y wget cmake libpcre3-dev
+    apt-get autoremove -y
+    apt-get clean
+EOF
+
+WORKDIR /diff-dd
+
+COPY ./devel_tools/ci_container/entry.sh /entry.sh
+ENTRYPOINT ["/entry.sh"]
-- 
cgit v1.2.3