Dockerbuild: Error: splint.cmake

[MichaelNRW]

Hello,
When building the Docker image on the Raspberry, the following error message appears:

`Step 8/13 : RUN cd /src/phevcore && mkdir build && cd build && cmake .. && make && make install
---> Running in e8f1923886ab
-- The C compiler identification is GNU 11.3.0
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /usr/bin/cc - skipped
-- Detecting C compile features
-- Detecting C compile features - done
CMake Error at CMakeLists.txt:3 (include):
include could not find requested file:

splint.cmake

CMake Error at CMakeLists.txt:38 (add_splint):
Unknown CMake command "add_splint".

-- Configuring incomplete, errors occurred!
See also "/src/phevcore/build/CMakeFiles/CMakeOutput.log".
The command '/bin/sh -c cd /src/phevcore && mkdir build && cd build && cmake .. && make && make install' returned a non-zero code: 1`

Unfortunately I can't do anything with this.
greeting
Michael

[bphermansson]

Ran into to this too, Raspberry Pi OS on a Raspberry Pi Zero W.

[JanBackman]

I have exactly the same problem. There is no ready made repository for Raspbian on rPi3b either.