Custom ipasir SAT implementation: "libcprover-cpp cannot be linked as dependency" error

[Geremia]

CBMC version: 5.95.1
Operating system: Linux kernel 6.6.21

I have these flags in my cmake command:

    -Dsat_impl=ipasir-custom \
    -DIPASIR=/tmp/SBo/cryptominisat-5.11.21/src \
    -DIPASIR_LIB=/usr/lib$LIBDIRSUFFIX/libcryptominisat5.a \

But when making, I get:

-- Building CBMC version 5.95.1
-- Rule launch compile: /usr/bin/ccache
-- Building with IPASIR solver linking: custom solver provided
CMake Error at src/libcprover-cpp/CMakeLists.txt:70 (message):
  libcprover-cpp cannot be linked as dependency dep_path-NOTFOUND does not
  have a static correspondent file (dep_path-NOTFOUND)

[Geremia]

I seem to be able to compile it with the custom SAT backend properly with make, but I'd like to use cmake for packaging.