From 0e1f7112b395c72736c209a31feaabea6cfca580 Mon Sep 17 00:00:00 2001 From: Mate Soos Date: Fri, 1 Jul 2022 14:38:57 +0200 Subject: [PATCH] Fixing it back to correct linking --- tools/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt index 2230cb4ab..d5f5a0bb6 100644 --- a/tools/CMakeLists.txt +++ b/tools/CMakeLists.txt @@ -54,4 +54,4 @@ add_executable(satsolver satsolver-main.cpp) target_link_libraries(satsolver PUBLIC solidity range-v3 Boost::boost Boost::program_options) add_executable(solsmt solsmt.cpp) -target_link_libraries(solsmt LINK_PRIVATE smtutil solutil range-v3 Boost::boost Boost::program_options) +target_link_libraries(solsmt PRIVATE smtutil solutil range-v3 Boost::boost Boost::program_options)