From f9a9af855fb65804ff0b36e764ccd9d0fa9f87f8 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Wed, 31 Mar 2021 23:17:38 +0200 Subject: Refactor GMP and Poly dependencies (#6245) Refactors GMP and libpoly to also use external projects and be available within cmake as proper targets. --- cmake/FindGMP.cmake | 72 ++++++++++++++++++++++--- cmake/FindPoly.cmake | 138 ++++++++++++++++++++++++++++++++++++++++-------- cmake/deps-helper.cmake | 32 ++++++++--- 3 files changed, 205 insertions(+), 37 deletions(-) (limited to 'cmake') diff --git a/cmake/FindGMP.cmake b/cmake/FindGMP.cmake index 1e1ca26c7..7e81dfd19 100644 --- a/cmake/FindGMP.cmake +++ b/cmake/FindGMP.cmake @@ -9,17 +9,73 @@ ## directory for licensing information. ## # Find GMP -# GMP_FOUND - system has GMP lib -# GMP_INCLUDE_DIR - the GMP include directory -# GMP_LIBRARIES - Libraries needed to use GMP +# GMP_FOUND - should always be true +# GMP - target for the GMP library + +include(deps-helper) find_path(GMP_INCLUDE_DIR NAMES gmp.h gmpxx.h) find_library(GMP_LIBRARIES NAMES gmp) -include(FindPackageHandleStandardArgs) -find_package_handle_standard_args(GMP DEFAULT_MSG GMP_INCLUDE_DIR GMP_LIBRARIES) +set(GMP_FOUND_SYSTEM FALSE) +if(GMP_INCLUDE_DIR AND GMP_LIBRARIES) + set(GMP_FOUND_SYSTEM TRUE) + + function(getversionpart OUTPUT FILENAME DESC) + file(STRINGS ${FILENAME} RES REGEX "^#define __GNU_MP_${DESC}[ \\t]+.*") + string(REGEX MATCH "[0-9]+" RES "${RES}") + set(${OUTPUT} + "${RES}" + PARENT_SCOPE + ) + endfunction() + getversionpart(MAJOR "${GMP_INCLUDE_DIR}/gmp.h" "VERSION") + getversionpart(MINOR "${GMP_INCLUDE_DIR}/gmp.h" "VERSION_MINOR") + getversionpart(PATCH "${GMP_INCLUDE_DIR}/gmp.h" "VERSION_PATCHLEVEL") + set(GMP_VERSION + "${MAJOR}.${MINOR}.${PATCH}" + PARENT_SCOPE + ) + + check_system_version("GMP") +endif() + +if(NOT GMP_FOUND_SYSTEM) + include(ExternalProject) + + set(GMP_VERSION "6.2.1") + + ExternalProject_Add( + GMP-EP + PREFIX ${DEPS_PREFIX} + URL https://gmplib.org/download/gmp/gmp-${GMP_VERSION}.tar.bz2 + URL_HASH SHA1=2dcf34d4a432dbe6cce1475a835d20fe44f75822 + CONFIGURE_COMMAND + /configure --prefix= --enable-cxx --with-pic + --disable-shared --enable-static --host=${TOOLCHAIN_PREFIX} + BUILD_BYPRODUCTS /lib/libgmp.a + ) + + set(GMP_INCLUDE_DIR "${DEPS_BASE}/include/") + set(GMP_LIBRARIES "${DEPS_BASE}/lib/libgmp.a") +endif() + +set(GMP_FOUND TRUE) + +add_library(GMP STATIC IMPORTED GLOBAL) +set_target_properties(GMP PROPERTIES IMPORTED_LOCATION "${GMP_LIBRARIES}") +set_target_properties( + GMP PROPERTIES INTERFACE_INCLUDE_DIRECTORIES "${GMP_INCLUDE_DIR}" +) + +mark_as_advanced(GMP_FOUND) +mark_as_advanced(GMP_FOUND_SYSTEM) +mark_as_advanced(GMP_INCLUDE_DIR) +mark_as_advanced(GMP_LIBRARIES) -mark_as_advanced(GMP_INCLUDE_DIR GMP_LIBRARIES) -if(GMP_LIBRARIES) - message(STATUS "Found GMP libs: ${GMP_LIBRARIES}") +if(GMP_FOUND_SYSTEM) + message(STATUS "Found GMP ${GMP_VERSION}: ${GMP_LIBRARIES}") +else() + message(STATUS "Building GMP ${GMP_VERSION}: ${GMP_LIBRARIES}") + add_dependencies(GMP GMP-EP) endif() diff --git a/cmake/FindPoly.cmake b/cmake/FindPoly.cmake index ddcf9ddf5..3556a9d63 100644 --- a/cmake/FindPoly.cmake +++ b/cmake/FindPoly.cmake @@ -9,26 +9,120 @@ ## directory for licensing information. ## # Find LibPoly -# POLY_FOUND - system has LibPoly -# POLY_INCLUDE_DIR - the LibPoly include directory -# POLY_LIBRARIES - Libraries needed to use LibPoly - -# Note: contrib/get-poly copies header files to deps/install/include/poly. -# However, includes in LibPoly headers are not prefixed with "poly/" and therefore -# we have to look for headers in include/poly instead of include/. -find_path(POLY_INCLUDE_DIR NAMES poly/poly.h PATH_SUFFIXES poly) -find_library(POLY_LIB NAMES poly) -find_library(POLY_LIBXX NAMES polyxx) -set(POLY_LIBRARIES "${POLY_LIBXX};${POLY_LIB}") -unset(POLY_LIB CACHE) -unset(POLY_LIBXX CACHE) - -include(FindPackageHandleStandardArgs) -find_package_handle_standard_args(Poly - DEFAULT_MSG - POLY_INCLUDE_DIR POLY_LIBRARIES) - -mark_as_advanced(POLY_INCLUDE_DIR POLY_LIBRARIES) -if(POLY_LIBRARIES) - message(STATUS "Found LibPoly: ${POLY_LIBRARIES}") +# Poly_FOUND - should always be true +# Poly - target for the libpoly library +# Polyxx - target for the C++ interface of libpoly, also links Poly + +include(deps-helper) + +find_path(Poly_INCLUDE_DIR NAMES poly/poly.h) +find_library(Poly_LIBRARIES NAMES poly) +find_library(PolyXX_LIBRARIES NAMES polyxx) + +set(Dummy_FOUND_SYSTEM FALSE) +if(Poly_INCLUDE_DIR + AND Poly_LIBRARIES + AND PolyXX_LIBRARIES +) + set(Poly_FOUND_SYSTEM TRUE) + + file(STRINGS ${Poly_INCLUDE_DIR}/poly/version.h Poly_VERSION + REGEX "^#define[\t ]+LIBPOLY_VERSION [0-9+]+" + ) + string(REGEX MATCH "[0-9.]+" Poly_VERSION "${Poly_VERSION}") + + check_system_version("Poly") +endif() + +if(NOT Poly_FOUND_SYSTEM) + include(ExternalProject) + + # TODO(#4706): Use proper release, after the next release + set(Poly_VERSION "bae67639726f63ed508a30845108bfdac4a77546") + + check_if_cross_compiling(CCWIN "Windows" "") + if(CCWIN) + # Roughly following https://stackoverflow.com/a/44383330/2375725 + set(patchcmd + PATCH_COMMAND + patch + /src/CMakeLists.txt + ${CMAKE_CURRENT_LIST_DIR}/deps-utils/Poly-patch-cmake.patch + # Avoid %z and %llu format specifiers + COMMAND find / -type f -exec + sed -i.orig "s/%z[diu]/%\" PRIu64 \"/g" {} + + COMMAND find / -type f -exec + sed -i.orig "s/%ll[du]/%\" PRIu64 \"/g" {} + + # Make sure the new macros are available + COMMAND find / -type f -exec + sed -i.orig "s/#include /#include \\n#include /" {} + + COMMAND find / -type f -exec + sed -i.orig "s/#include /#include \\n#include /" {} + + ) + else() + unset(patchcmd) + endif() + + ExternalProject_Add( + Poly-EP + PREFIX ${DEPS_PREFIX} + URL https://github.com/SRI-CSL/libpoly/archive/${Poly_VERSION}.tar.gz + URL_HASH SHA1=2e79d5220d3ecbb40811463fcf12c5ddbd4b9f30 + DOWNLOAD_NAME libpoly.tar.gz + ${patchcmd} + CMAKE_ARGS -DCMAKE_BUILD_TYPE=Release + -DCMAKE_INSTALL_PREFIX= + -DCMAKE_TOOLCHAIN_FILE=${CMAKE_TOOLCHAIN_FILE} + -DLIBPOLY_BUILD_PYTHON_API=OFF + -DLIBPOLY_BUILD_STATIC=ON + -DLIBPOLY_BUILD_STATIC_PIC=ON + BUILD_COMMAND ${CMAKE_MAKE_PROGRAM} static_pic_poly static_pic_polyxx + INSTALL_COMMAND ${CMAKE_MAKE_PROGRAM} install + COMMAND ${CMAKE_COMMAND} -E copy src/libpicpoly.a + /lib/libpicpoly.a + COMMAND ${CMAKE_COMMAND} -E copy src/libpicpolyxx.a + /lib/libpicpolyxx.a + BUILD_BYPRODUCTS /lib/libpicpoly.a + /lib/libpicpolyxx.a + ) + ExternalProject_Add_Step( + Poly-EP cleanup + DEPENDEES install + COMMAND ${CMAKE_COMMAND} -E remove_directory /test/ + COMMAND ${CMAKE_COMMAND} -E remove_directory /test/ + ) + add_dependencies(Poly-EP GMP) + + set(Poly_INCLUDE_DIR "${DEPS_BASE}/include/") + set(Poly_LIBRARIES "${DEPS_BASE}/lib/libpicpoly.a") + set(PolyXX_LIBRARIES "${DEPS_BASE}/lib/libpicpolyxx.a") +endif() + +set(Poly_FOUND TRUE) + +add_library(Poly STATIC IMPORTED GLOBAL) +set_target_properties(Poly PROPERTIES IMPORTED_LOCATION "${Poly_LIBRARIES}") +set_target_properties( + Poly PROPERTIES INTERFACE_INCLUDE_DIRECTORIES "${Poly_INCLUDE_DIR}" +) + +add_library(Polyxx STATIC IMPORTED GLOBAL) +set_target_properties(Polyxx PROPERTIES IMPORTED_LOCATION "${PolyXX_LIBRARIES}") +set_target_properties( + Polyxx PROPERTIES INTERFACE_INCLUDE_DIRECTORIES "${Poly_INCLUDE_DIR}" +) +set_target_properties(Polyxx PROPERTIES INTERFACE_LINK_LIBRARIES Poly) + +mark_as_advanced(Poly_FOUND) +mark_as_advanced(Poly_FOUND_SYSTEM) +mark_as_advanced(Poly_INCLUDE_DIR) +mark_as_advanced(Poly_LIBRARIES) +mark_as_advanced(PolyXX_LIBRARIES) + +if(Poly_FOUND_SYSTEM) + message(STATUS "Found Poly ${Poly_VERSION}: ${Poly_LIBRARIES}") +else() + message(STATUS "Building Poly ${Poly_VERSION}: ${Poly_LIBRARIES}") + add_dependencies(Poly Poly-EP) + add_dependencies(Polyxx Poly-EP) endif() diff --git a/cmake/deps-helper.cmake b/cmake/deps-helper.cmake index bdc3e5de1..4b88d62ce 100644 --- a/cmake/deps-helper.cmake +++ b/cmake/deps-helper.cmake @@ -23,28 +23,46 @@ endmacro(check_system_version) # we are cross compiling if # - CMAKE_SYSTEM_NAME has been changed to ${name} # - CMAKE_SYSTEM_PROCESSOR has been changed to ${processor} -function(fail_if_cross_compiling name processor target error) - set(FAIL FALSE) +function(check_if_cross_compiling OUT name processor) if(NOT "${CMAKE_SYSTEM_NAME}" STREQUAL "${CMAKE_HOST_SYSTEM_NAME}") if(NOT "${name}" STREQUAL "") if("${CMAKE_SYSTEM_NAME}" STREQUAL "${name}") - set(FAIL TRUE) + set(${OUT} TRUE PARENT_SCOPE) + return() endif() endif() endif() if(NOT "${CMAKE_SYSTEM_PROCESSOR}" STREQUAL "${CMAKE_HOST_SYSTEM_PROCESSOR}") if(NOT "${processor}" STREQUAL "") if("${CMAKE_SYSTEM_PROCESSOR}" STREQUAL "${processor}") - set(FAIL TRUE) + set(${OUT} TRUE PARENT_SCOPE) + return() endif() endif() endif() + set(${OUT} FALSE PARENT_SCOPE) +endfunction(check_if_cross_compiling) + +# fail if we are cross compiling as indicated by name and processor +# we are cross compiling if +# - CMAKE_SYSTEM_NAME has been changed to ${name} +# - CMAKE_SYSTEM_PROCESSOR has been changed to ${processor} +function(fail_if_cross_compiling name processor target error) + check_if_cross_compiling(FAIL "${name}" "${processor}") if(FAIL) message(SEND_ERROR - "We are cross compiling from \ + "We are cross compiling from \ ${CMAKE_HOST_SYSTEM_NAME}-${CMAKE_HOST_SYSTEM_PROCESSOR} to \ ${CMAKE_SYSTEM_NAME}-${CMAKE_SYSTEM_PROCESSOR}.\n" - "This is not supported by ${target}:\n" - "${error}") + "This is not supported by ${target}:\n" + "${error}") endif() endfunction(fail_if_cross_compiling) + +function(fail_if_include_missing include target) + include(CheckIncludeFileCXX) + check_include_file_cxx(${include} HAVE_INCLUDE) + if(NOT HAVE_INCLUDE) + message(SEND_ERROR "${target} requires ${include} header, but it is not available.") + endif() +endfunction(fail_if_include_missing) -- cgit v1.2.3