aboutsummaryrefslogblamecommitdiffstats
path: root/libsolidity/CMakeLists.txt
blob: f7c1a390e04821333e07d8a3d79319632393d614 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
                                                                    

                                                      
 









                                                                                
                                           




                                                      
# Until we have a clear separation, libjulia has to be included here
file(GLOB_RECURSE sources "*.cpp" "../libjulia/*.cpp")
file(GLOB_RECURSE headers "*.h" "../libjulia/*.h")

find_package(Z3 QUIET)
if (${Z3_FOUND})
  include_directories(${Z3_INCLUDE_DIR})
  add_definitions(-DHAVE_Z3)
  message("Z3 SMT solver FOUND.")
else()
  message("Z3 SMT solver NOT found.")
  list(REMOVE_ITEM sources "${CMAKE_CURRENT_SOURCE_DIR}/formal/Z3Interface.cpp")
endif()

add_library(solidity ${sources} ${headers})
target_link_libraries(solidity PUBLIC evmasm devcore)

if (${Z3_FOUND})
  target_link_libraries(solidity PUBLIC ${Z3_LIBRARY})
endif()