user/cppcheck: FTBFS: z3 dependency has not been found
>>> cppcheck: Unpacking /var/cache/distfiles/cppcheck-2.1.tar.gz...
-- The C compiler identification is GNU 8.5.0
-- The CXX compiler identification is GNU 8.5.0
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /usr/local/bin/gcc - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/local/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
CMake Error at cmake/findDependencies.cmake:21 (message):
z3 dependency has not been found
Call Stack (most recent call first):
CMakeLists.txt:10 (include)
-- Configuring incomplete, errors occurred!
See also "/root/packages/user/cppcheck/src/cppcheck-2.1/CMakeFiles/CMakeOutput.log".
>>> ERROR: cppcheck: build failed