XX

Signed-off-by: Matthew Ballance <matt.ballance@gmail.com>
vsc-tools · Sep 13, 2023 · 8e5314a · 8e5314a
1 parent 297115d
commit 8e5314a
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -26,14 +26,13 @@ target_link_directories(vsc-solvers PRIVATE
     )
 
 target_link_libraries(vsc-solvers
-    vsc-dm 
-    debug-mgr
+#    vsc-dm 
+#    debug-mgr
 	bitwuzla
 	boolector
 	btor2parser
 	cadical
-	gmp
-	)
+	gmp)
 add_dependencies(vsc-solvers Boolector Bitwuzla)
 
 # add_library(vsc-solvers_static STATIC ${vsc_solvers_SRC})