diff --git a/libsolidity/CMakeLists.txt b/libsolidity/CMakeLists.txt index fe1bbad7aeac..5db82b368cd6 100644 --- a/libsolidity/CMakeLists.txt +++ b/libsolidity/CMakeLists.txt @@ -166,7 +166,7 @@ if (NOT (${Z3_FOUND} OR ${CVC4_FOUND})) endif() add_library(solidity ${sources} ${z3_SRCS} ${cvc4_SRCS}) -target_link_libraries(solidity PUBLIC yul evmasm langutil solutil Boost::boost Boost::filesystem Boost::system) +target_link_libraries(solidity PUBLIC yul evmasm langutil solutil Boost::boost Boost::system) if (${Z3_FOUND}) target_link_libraries(solidity PUBLIC z3::libz3) diff --git a/libsolidity/formal/CHCSmtLib2Interface.cpp b/libsolidity/formal/CHCSmtLib2Interface.cpp index 1b58b791eb11..4b52b7d5adca 100644 --- a/libsolidity/formal/CHCSmtLib2Interface.cpp +++ b/libsolidity/formal/CHCSmtLib2Interface.cpp @@ -21,7 +21,6 @@ #include #include -#include #include #include diff --git a/libsolidity/formal/SMTLib2Interface.cpp b/libsolidity/formal/SMTLib2Interface.cpp index 76527baeb40c..339a0a8ad393 100644 --- a/libsolidity/formal/SMTLib2Interface.cpp +++ b/libsolidity/formal/SMTLib2Interface.cpp @@ -21,7 +21,6 @@ #include #include -#include #include #include diff --git a/libsolutil/CommonIO.h b/libsolutil/CommonIO.h index be763c42f2c1..38c8f564a43b 100644 --- a/libsolutil/CommonIO.h +++ b/libsolutil/CommonIO.h @@ -24,7 +24,6 @@ #pragma once #include -#include #include #include diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt index d63d9aec5f81..ff545faf3c08 100644 --- a/test/CMakeLists.txt +++ b/test/CMakeLists.txt @@ -187,7 +187,7 @@ add_executable(soltest ${sources} ${libsolidity_util_sources} ${yul_phaser_sources} ) -target_link_libraries(soltest PRIVATE libsolc yul solidity yulInterpreter evmasm solutil Boost::boost Boost::program_options Boost::unit_test_framework evmc) +target_link_libraries(soltest PRIVATE libsolc yul solidity yulInterpreter evmasm solutil Boost::boost Boost::filesystem Boost::program_options Boost::unit_test_framework evmc) # Special compilation flag for Visual Studio (version 2019 at least affected) diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt index 241a80f46e89..f6b87c9f6519 100644 --- a/tools/CMakeLists.txt +++ b/tools/CMakeLists.txt @@ -42,6 +42,6 @@ add_executable(yul-phaser yulPhaser/SimulationRNG.h yulPhaser/SimulationRNG.cpp ) -target_link_libraries(yul-phaser PRIVATE solidity Boost::program_options) +target_link_libraries(yul-phaser PRIVATE solidity Boost::filesystem Boost::program_options) install(TARGETS yul-phaser DESTINATION "${CMAKE_INSTALL_BINDIR}")