Build scripts assume fixed paths for transitive dependencies

[CyanoKobalamyne]

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.

smt-switch/btor/CMakeLists.txt

Lines 18 to 19 in 1b5d08f

	target_link_libraries(smt-switch-btor "${BTOR_HOME}/deps/cadical/build/libcadical.a")
	target_link_libraries(smt-switch-btor "${BTOR_HOME}/deps/btor2tools/build/libbtor2parser.a")

smt-switch/btor/CMakeLists.txt

Lines 32 to 33 in 1b5d08f

	ar -x "${BTOR_HOME}/deps/cadical/build/libcadical.a" &&
	ar -x "${BTOR_HOME}/deps/btor2tools/build/libbtor2parser.a" && cd ../ &&