2017-05-23 17:21:14 +00:00
# Until we have a clear separation, libjulia has to be included here
2017-08-16 11:29:59 +00:00
file ( GLOB_RECURSE sources "*.cpp" "../libjulia/*.cpp" )
file ( GLOB_RECURSE headers "*.h" "../libjulia/*.h" )
2014-10-06 15:13:52 +00:00
2017-07-13 19:04:19 +00:00
find_package ( Z3 QUIET )
if ( ${ Z3_FOUND } )
include_directories ( ${ Z3_INCLUDE_DIR } )
add_definitions ( -DHAVE_Z3 )
2018-04-06 16:01:40 +00:00
message ( "Z3 SMT solver found. This enables optional SMT checking with Z3." )
list ( REMOVE_ITEM sources "${CMAKE_CURRENT_SOURCE_DIR}/formal/CVC4Interface.cpp" )
2017-07-13 19:04:19 +00:00
else ( )
list ( REMOVE_ITEM sources "${CMAKE_CURRENT_SOURCE_DIR}/formal/Z3Interface.cpp" )
2018-04-06 16:01:40 +00:00
find_package ( GMP QUIET )
find_package ( CVC4 QUIET )
if ( ${ CVC4_FOUND } )
if ( ${ GMP_FOUND } )
include_directories ( ${ CVC4_INCLUDE_DIR } )
add_definitions ( -DHAVE_CVC4 )
message ( "CVC4 SMT solver and GMP found. This enables optional SMT checking with CVC4." )
else ( )
message ( "CVC4 SMT solver found but its dependency GMP was NOT found. Optional SMT checking with CVC4 will not be available. Please install GMP if it is desired." )
list ( REMOVE_ITEM sources "${CMAKE_CURRENT_SOURCE_DIR}/formal/CVC4Interface.cpp" )
endif ( )
else ( )
message ( "No SMT solver found (Z3 or CVC4). Optional SMT checking will not be available. Please install Z3 or CVC4 if it is desired." )
list ( REMOVE_ITEM sources "${CMAKE_CURRENT_SOURCE_DIR}/formal/CVC4Interface.cpp" )
endif ( )
2017-07-13 19:04:19 +00:00
endif ( )
2017-08-16 11:29:59 +00:00
add_library ( solidity ${ sources } ${ headers } )
2018-05-11 03:20:19 +00:00
target_link_libraries ( solidity PUBLIC evmasm devcore ${ Boost_FILESYSTEM_LIBRARY } ${ Boost_SYSTEM_LIBRARY } )
2017-07-13 19:04:19 +00:00
if ( ${ Z3_FOUND } )
target_link_libraries ( solidity PUBLIC ${ Z3_LIBRARY } )
2018-04-06 16:01:40 +00:00
endif ( )
if ( ${ CVC4_FOUND } AND ${ GMP_FOUND } )
target_link_libraries ( solidity PUBLIC ${ CVC4_LIBRARY } )
target_link_libraries ( solidity PUBLIC ${ GMP_LIBRARY } )
endif ( )