Fixing cryptominisat libraries location

stp · Jul 21, 2016 · 9b9021b · 9b9021b
1 parent c5e2b54
commit 9b9021b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/CMakeLists.txt b/lib/CMakeLists.txt
@@ -114,7 +114,7 @@ if (USE_CRYPTOMINISAT)
     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