mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
108 lines
3.2 KiB
CMake
108 lines
3.2 KiB
CMake
cmake_minimum_required(VERSION 3.13.0)
|
|
|
|
set(ETH_CMAKE_DIR "${CMAKE_CURRENT_LIST_DIR}/cmake" CACHE PATH "The the path to the cmake directory")
|
|
list(APPEND CMAKE_MODULE_PATH ${ETH_CMAKE_DIR})
|
|
|
|
include(EthToolchains)
|
|
|
|
# Set cmake_policies
|
|
include(EthPolicy)
|
|
eth_policy()
|
|
|
|
# project name and version should be set after cmake_policy CMP0048
|
|
set(PROJECT_VERSION "0.8.1")
|
|
# OSX target needed in order to support std::visit
|
|
set(CMAKE_OSX_DEPLOYMENT_TARGET "10.14")
|
|
project(solidity VERSION ${PROJECT_VERSION} LANGUAGES C CXX)
|
|
|
|
include(TestBigEndian)
|
|
TEST_BIG_ENDIAN(IS_BIG_ENDIAN)
|
|
if (IS_BIG_ENDIAN)
|
|
message(FATAL_ERROR "${PROJECT_NAME} currently does not support big endian systems.")
|
|
endif()
|
|
|
|
option(SOLC_LINK_STATIC "Link solc executable statically on supported platforms" OFF)
|
|
option(SOLC_STATIC_STDLIBS "Link solc against static versions of libgcc and libstdc++ on supported platforms" OFF)
|
|
|
|
# Setup cccache.
|
|
include(EthCcache)
|
|
|
|
# Let's find our dependencies
|
|
include(EthDependencies)
|
|
include(jsoncpp)
|
|
include(range-v3)
|
|
include_directories(SYSTEM ${JSONCPP_INCLUDE_DIR})
|
|
|
|
find_package(Threads)
|
|
|
|
# Figure out what compiler and system are we using
|
|
include(EthCompilerSettings)
|
|
|
|
# Include utils
|
|
include(EthUtils)
|
|
|
|
# Create license.h from LICENSE.txt and template
|
|
# Converting to char array is required due to MSVC's string size limit.
|
|
file(READ ${CMAKE_SOURCE_DIR}/LICENSE.txt LICENSE_TEXT HEX)
|
|
string(REGEX MATCHALL ".." LICENSE_TEXT "${LICENSE_TEXT}")
|
|
string(REGEX REPLACE ";" ",\n\t0x" LICENSE_TEXT "${LICENSE_TEXT}")
|
|
set(LICENSE_TEXT "0x${LICENSE_TEXT}")
|
|
|
|
configure_file("${CMAKE_SOURCE_DIR}/cmake/templates/license.h.in" include/license.h)
|
|
|
|
include(EthOptions)
|
|
configure_project(TESTS)
|
|
|
|
find_package(Z3 4.8.0)
|
|
if(${USE_Z3_DLOPEN})
|
|
add_definitions(-DHAVE_Z3)
|
|
add_definitions(-DHAVE_Z3_DLOPEN)
|
|
find_package(Python3 COMPONENTS Interpreter)
|
|
if(${Z3_FOUND})
|
|
get_target_property(Z3_HEADER_HINTS z3::libz3 INTERFACE_INCLUDE_DIRECTORIES)
|
|
endif()
|
|
find_path(Z3_HEADER_PATH z3.h HINTS ${Z3_HEADER_HINTS})
|
|
if(Z3_HEADER_PATH)
|
|
set(Z3_FOUND TRUE)
|
|
else()
|
|
message(SEND_ERROR "Dynamic loading of Z3 requires Z3 headers to be present at build time.")
|
|
endif()
|
|
if(NOT ${Python3_FOUND})
|
|
message(SEND_ERROR "Dynamic loading of Z3 requires Python 3 to be present at build time.")
|
|
endif()
|
|
if(${SOLC_LINK_STATIC})
|
|
message(SEND_ERROR "solc cannot be linked statically when dynamically loading Z3.")
|
|
endif()
|
|
elseif (${Z3_FOUND})
|
|
add_definitions(-DHAVE_Z3)
|
|
message("Z3 SMT solver found. This enables optional SMT checking with Z3.")
|
|
endif()
|
|
|
|
find_package(CVC4 QUIET)
|
|
if (${CVC4_FOUND})
|
|
add_definitions(-DHAVE_CVC4)
|
|
message("CVC4 SMT solver found. This enables optional SMT checking with CVC4.")
|
|
endif()
|
|
|
|
if (NOT (${Z3_FOUND} OR ${CVC4_FOUND}))
|
|
message("No SMT solver found (or it has been forcefully disabled). Optional SMT checking will not be available.\
|
|
\nPlease install Z3 or CVC4 or remove the option disabling them (USE_Z3, USE_CVC4).")
|
|
endif()
|
|
|
|
add_subdirectory(libsolutil)
|
|
add_subdirectory(liblangutil)
|
|
add_subdirectory(libsmtutil)
|
|
add_subdirectory(libevmasm)
|
|
add_subdirectory(libyul)
|
|
add_subdirectory(libsolidity)
|
|
add_subdirectory(libsolc)
|
|
add_subdirectory(tools)
|
|
|
|
if (NOT EMSCRIPTEN)
|
|
add_subdirectory(solc)
|
|
endif()
|
|
|
|
if (TESTS AND NOT EMSCRIPTEN)
|
|
add_subdirectory(test)
|
|
endif()
|