diff options
| author | Jan Sucan <jan@jansucan.com> | 2024-04-26 08:55:12 +0200 |
|---|---|---|
| committer | Ján Sučan <jan@jansucan.com> | 2024-04-27 16:16:36 +0200 |
| commit | 7f276fb89d659ad86bf2b862f4de4ed3c362d3d6 (patch) | |
| tree | 354dd8a7805fe0b46b623c25882aba985e9cf156 /devel_tools/ci_container/Dockerfile | |
| parent | 6b9ac739e5338dfb3e8729c9aea0b29d2d3db01a (diff) | |
devel_tools: Add CI Docker image
Diffstat (limited to 'devel_tools/ci_container/Dockerfile')
| -rw-r--r-- | devel_tools/ci_container/Dockerfile | 37 |
1 files changed, 37 insertions, 0 deletions
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"] |