mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
20 lines
297 B
CMake
20 lines
297 B
CMake
set(sources
|
|
CHCSmtLib2Interface.cpp
|
|
CHCSmtLib2Interface.h
|
|
Exceptions.h
|
|
SMTLib2Interface.cpp
|
|
SMTLib2Interface.h
|
|
SMTLibParser.cpp
|
|
SMTLibParser.h
|
|
SolverInterface.h
|
|
Sorts.cpp
|
|
Sorts.h
|
|
Helpers.h
|
|
)
|
|
|
|
|
|
|
|
|
|
add_library(smtutil ${sources})
|
|
target_link_libraries(smtutil PUBLIC solutil Boost::boost)
|