diff options
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"] |
