From 1ece7bf4433a37feb449b7f3b4f820a1f5740eaf Mon Sep 17 00:00:00 2001 From: chriseth Date: Thu, 6 Jul 2017 11:05:05 +0200 Subject: z3 conditions --- cmake/UseSolidity.cmake | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'cmake') diff --git a/cmake/UseSolidity.cmake b/cmake/UseSolidity.cmake index 5080f71b..9e2dea3e 100644 --- a/cmake/UseSolidity.cmake +++ b/cmake/UseSolidity.cmake @@ -25,7 +25,7 @@ function(eth_apply TARGET REQUIRED SUBMODULE) if (${SUBMODULE} STREQUAL "solidity" OR ${SUBMODULE} STREQUAL "") eth_use(${TARGET} ${REQUIRED} Dev::soldevcore Solidity::solevmasm) - target_link_libraries(${TARGET} ${Solidity_SOLIDITY_LIBRARIES}) + target_link_libraries(${TARGET} ${Solidity_SOLIDITY_LIBRARIES} z3) endif() target_compile_definitions(${TARGET} PUBLIC ETH_SOLIDITY) -- cgit v1.2.3 From b3f8ed457a10dab36abaef72310a755a95e0753f Mon Sep 17 00:00:00 2001 From: chriseth Date: Tue, 11 Jul 2017 13:26:43 +0200 Subject: Cleanup. --- cmake/UseSolidity.cmake | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'cmake') diff --git a/cmake/UseSolidity.cmake b/cmake/UseSolidity.cmake index 9e2dea3e..5080f71b 100644 --- a/cmake/UseSolidity.cmake +++ b/cmake/UseSolidity.cmake @@ -25,7 +25,7 @@ function(eth_apply TARGET REQUIRED SUBMODULE) if (${SUBMODULE} STREQUAL "solidity" OR ${SUBMODULE} STREQUAL "") eth_use(${TARGET} ${REQUIRED} Dev::soldevcore Solidity::solevmasm) - target_link_libraries(${TARGET} ${Solidity_SOLIDITY_LIBRARIES} z3) + target_link_libraries(${TARGET} ${Solidity_SOLIDITY_LIBRARIES}) endif() target_compile_definitions(${TARGET} PUBLIC ETH_SOLIDITY) -- cgit v1.2.3 From c9cf24458baa77e2a2de1bedbad5040d0d83aab2 Mon Sep 17 00:00:00 2001 From: chriseth Date: Thu, 13 Jul 2017 21:04:19 +0200 Subject: Prepare build system for Z3. --- cmake/FindZ3.cmake | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 cmake/FindZ3.cmake (limited to 'cmake') diff --git a/cmake/FindZ3.cmake b/cmake/FindZ3.cmake new file mode 100644 index 00000000..8f3f9ee1 --- /dev/null +++ b/cmake/FindZ3.cmake @@ -0,0 +1,9 @@ +find_path(Z3_INCLUDE_DIR z3++.h) +find_library(Z3_LIBRARY NAMES z3 ) +include(${CMAKE_CURRENT_LIST_DIR}/FindPackageHandleStandardArgs.cmake) +FIND_PACKAGE_HANDLE_STANDARD_ARGS(Z3 DEFAULT_MSG Z3_LIBRARY Z3_INCLUDE_DIR) + +if(Z3_FOUND) + set(Z3_LIBRARIES ${Z3_LIBRARY}) +endif() + -- cgit v1.2.3