correcting directory

meelgroup · Jan 23, 2025 · 67cf723 · 67cf723
1 parent 7bd0f0f
commit 67cf723
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -479,11 +479,11 @@ option(NOCRYPTOMINISAT "Don't try to use cryptominisat" OFF)
 
 if (NOT NOCRYPTOMINISAT)
     find_library(cadiback
-        PATHS ${CMAKE_CURRENT_SOURCE_DIR}/../deps/cadiback/
+        PATHS ${CMAKE_CURRENT_SOURCE_DIR}/deps/cadiback/
         NAMES cadiback
         REQUIRED)
     find_library(cadical
-        PATHS ${CMAKE_CURRENT_SOURCE_DIR}/../deps/cadical/build/
+        PATHS ${CMAKE_CURRENT_SOURCE_DIR}/deps/cadical/build/
         NAMES cadical
         REQUIRED)
     if (cadical)