Use system btor2tools if available

CyanoKobalamyne · Aug 19, 2024 · bc6a6dd · bc6a6dd
1 parent 9cbd826
commit bc6a6dd
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -119,9 +119,9 @@ if (WITH_COREIR)
 endif()
 
 
-if (NOT EXISTS "${PROJECT_SOURCE_DIR}/deps/btor2tools/src")
-  message(FATAL_ERROR "Missing btor2tools -- try running ./contrib/setup-btor2tools.sh")
-endif()
+# if (NOT EXISTS "${PROJECT_SOURCE_DIR}/deps/btor2tools/src")
+#   message(FATAL_ERROR "Missing btor2tools -- try running ./contrib/setup-btor2tools.sh")
+# endif()
 
 # Generate the SMV parser using Flex/Bison
 BISON_TARGET(SMVParser ${PROJECT_SOURCE_DIR}/frontends/smvparser.y
@@ -276,7 +276,7 @@ if (WITH_COREIR)
 endif()
 
 target_link_libraries(pono-lib PUBLIC "${SMT_SWITCH_DIR}/local/lib/libsmt-switch.a")
-target_link_libraries(pono-lib PUBLIC "${PROJECT_SOURCE_DIR}/deps/btor2tools/build/lib/libbtor2parser.a")
+target_link_libraries(pono-lib PUBLIC btor2parser)
 target_link_libraries(pono-lib PUBLIC "${GMPXX_LIBRARIES}")
 target_link_libraries(pono-lib PUBLIC "${GMP_LIBRARIES}")
 target_link_libraries(pono-lib PUBLIC pthread)