| commit | 9b9021b28bf95c3851835e0c836a05cb5baa4670 | [log] [tgz] |
|---|---|---|
| author | Mate Soos <soos.mate@gmail.com> | Thu Jul 21 22:01:42 2016 |
| committer | Mate Soos <soos.mate@gmail.com> | Thu Jul 21 22:01:42 2016 |
| tree | 761a88ddc4b1152f975b25deb318027a71aafcb4 | |
| parent | c5e2b5427ddf08dec61de129361416d7672acf60 [diff] |
Fixing cryptominisat libraries location
diff --git a/lib/CMakeLists.txt b/lib/CMakeLists.txt index 1c68416..47ef78a 100644 --- a/lib/CMakeLists.txt +++ b/lib/CMakeLists.txt
@@ -114,7 +114,7 @@ if (NOT BUILD_SHARED_LIBS) set(libstp_link_libs ${libstp_link_libs} - /usr/local/lib/${CRYPTOMINISAT5_STATIC_LIBRARIES} + ${CRYPTOMINISAT5_STATIC_LIBRARIES} ${CRYPTOMINISAT5_STATIC_LIBRARIES_DEPS}) else() set(libstp_link_libs