From 802d66244d3ce4f2be9ee7cbcadbd611f4da1c38 Mon Sep 17 00:00:00 2001 From: Leonardo Alt Date: Tue, 19 May 2020 12:23:01 +0200 Subject: [PATCH] Do not link unnecessarily --- libsmtutil/CMakeLists.txt | 2 +- test/CMakeLists.txt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/libsmtutil/CMakeLists.txt b/libsmtutil/CMakeLists.txt index d5df3633f..e46b80df6 100644 --- a/libsmtutil/CMakeLists.txt +++ b/libsmtutil/CMakeLists.txt @@ -23,7 +23,7 @@ else() endif() add_library(smtutil ${sources} ${z3_SRCS} ${cvc4_SRCS}) -target_link_libraries(smtutil PUBLIC langutil solutil Boost::boost) +target_link_libraries(smtutil PUBLIC solutil Boost::boost) if (${Z3_FOUND}) target_link_libraries(smtutil PUBLIC z3::libz3) diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt index 6c6d12c1e..06a082e66 100644 --- a/test/CMakeLists.txt +++ b/test/CMakeLists.txt @@ -188,7 +188,7 @@ add_executable(soltest ${sources} ${libsolidity_util_sources} ${yul_phaser_sources} ) -target_link_libraries(soltest PRIVATE libsolc yul solidity yulInterpreter evmasm smtutil solutil Boost::boost Boost::filesystem Boost::program_options Boost::unit_test_framework evmc) +target_link_libraries(soltest PRIVATE libsolc yul solidity smtutil solutil Boost::boost yulInterpreter evmasm Boost::filesystem Boost::program_options Boost::unit_test_framework evmc) # Special compilation flag for Visual Studio (version 2019 at least affected)