The CMake files for building the Boolector component assume that the dependencies for Boolector (Cadical and Btor2parser) are in the Boolector tree. This is not necessarily the case, e.g., if the dependencies were linked in from somewhere else, which the Boolector build scripts permit.
The CMake files for building the Boolector component assume that the dependencies for Boolector (Cadical and Btor2parser) are in the Boolector tree. This is not necessarily the case, e.g., if the dependencies were linked in from somewhere else, which the Boolector build scripts permit.
https://github.com/stanford-centaur/smt-switch/blob/1b5d08fe89f3b482ddd61fea7097ba9aa06c3fc3/btor/CMakeLists.txt#L18-L19 https://github.com/stanford-centaur/smt-switch/blob/1b5d08fe89f3b482ddd61fea7097ba9aa06c3fc3/btor/CMakeLists.txt#L32-L33