diff --git a/.gitlab/coverity.yml b/.gitlab/coverity.yml index 4162c23da9..124c120b60 100644 --- a/.gitlab/coverity.yml +++ b/.gitlab/coverity.yml @@ -65,6 +65,7 @@ Coverity: -DCMAKE_BUILD_TYPE=RelWithDebInfo -DKICAD_STDLIB_LIGHT_DEBUG=ON -DKICAD_SCRIPTING_WXPYTHON=ON + -DKICAD_USE_CMAKE_FINDPROTOBUF=ON - coverity/bin/cov-build --dir cov-int make -j10 - *coverity_submit artifacts: @@ -72,4 +73,4 @@ Coverity: expose_as: 'Coverity log' name: "coverity_log.txt" paths: - - cov-int/build-log.txt \ No newline at end of file + - cov-int/build-log.txt diff --git a/doxygen/doxygen.Dockerfile b/doxygen/doxygen.Dockerfile index af19d9a0a9..b8ff74b255 100644 --- a/doxygen/doxygen.Dockerfile +++ b/doxygen/doxygen.Dockerfile @@ -11,7 +11,8 @@ WORKDIR /src/build RUN cmake .. -DCMAKE_BUILD_TYPE=RelWithDebInfo \ -DKICAD_USE_OCC=ON \ - -DKICAD_SCRIPTING_WXPYTHON=ON + -DKICAD_SCRIPTING_WXPYTHON=ON \ + -DKICAD_USE_CMAKE_FINDPROTOBUF=ON RUN make doxygen-docs RUN make doxygen-python