cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fixing it back to correct linking

Browse Source
This commit is contained in:
Mate Soos 2022-07-01 14:38:57 +02:00 committed by chriseth
parent ca3d8b4714
commit 0e1f7112b3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/CMakeLists.txt
View File

@ -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)