tree 45b4c7a42c5d54aa2bcd60ee70d22c0d13ccc30c
parent c949b3e8606395d7dc0445ccb67d9b8ab009f9f5
author Marc Kupietz <kupietz@ids-mannheim.de> 1785678984 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1785678984 +0200

Stop when there is no rocksdb, and find its headers where it is

Without a rocksdb the build did not complain: the shared library was linked
with unresolved rocksdb symbols, which a linker permits, and the first thing
that linked it failed with a page of undefined references, blaming
collocatordb. It stops at the configure step now and says what to do.

The headers of the rocksdb that was found are used, instead of relying on the
compiler to look in the right place, and they are put before the other include
directories. That way -DCMAKE_PREFIX_PATH=<prefix> is enough for a rocksdb that
was built by hand, which is what Rocky Linux and RHEL need, as they do not
necessarily have a package. The README says how.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Change-Id: I21f5cb5eb17c15c0fe77536027b112591c546e58