1 set(FLINT_VERSION 2.5.2)
2 set(FLINT_HASH "8606b369af505d5fcedd05d95fcd04afac2a916fc5291501c56785891cfdb2f9bc98700b2d05afd1d9482fb96df2a8c8bf1cd0e5696df46775df9fa743eb900b")
4 vcpkg_download_distfile(ARCHIVE
5 URLS "http://www.flintlib.org/flint-${FLINT_VERSION}.zip"
6 FILENAME "flint-${FLINT_VERSION}.zip"
10 vcpkg_extract_source_archive_ex(
11 OUT_SOURCE_PATH SOURCE_PATH
20 file(REMOVE_RECURSE ${CURRENT_BUILDTREES_DIR}/${TARGET_TRIPLET})
21 file(MAKE_DIRECTORY ${CURRENT_BUILDTREES_DIR}/${TARGET_TRIPLET})
22 file(COPY ${SOURCE_PATH} DESTINATION ${CURRENT_BUILDTREES_DIR}/${TARGET_TRIPLET})
23 get_filename_component(SOURCE_DIR_NAME "${SOURCE_PATH}" NAME)
25 # Use fresh copy of sources for building and modification
26 set(SOURCE_PATH "${CURRENT_BUILDTREES_DIR}/${TARGET_TRIPLET}/${SOURCE_DIR_NAME}")
28 file(TO_NATIVE_PATH ${CURRENT_INSTALLED_DIR} NATIVE_INSTALLED_DIR)
30 "${SOURCE_PATH}/build.vc${MSVC_VERSION}/dll_flint/dll_flint.vcxproj" "${SOURCE_PATH}/build.vc${MSVC_VERSION}/dll_flint/dll_flint.vcxproj" @ONLY
33 "${SOURCE_PATH}/build.vc${MSVC_VERSION}/lib_flint/lib_flint.vcxproj" "${SOURCE_PATH}/build.vc${MSVC_VERSION}/lib_flint/lib_flint.vcxproj" @ONLY
36 file(RENAME "${SOURCE_PATH}/fmpz-conversions-gc.in" "${SOURCE_PATH}/fmpz-conversions.h")
38 IF (VCPKG_TARGET_ARCHITECTURE MATCHES "x86")
39 file(RENAME "${SOURCE_PATH}/fft_tuning32.in" "${SOURCE_PATH}/fft_tuning.h")
41 file(RENAME "${SOURCE_PATH}/fft_tuning64.in" "${SOURCE_PATH}/fft_tuning.h")
44 if (VCPKG_LIBRARY_LINKAGE STREQUAL "dynamic")
46 PROJECT_PATH ${SOURCE_PATH}/build.vc${MSVC_VERSION}/dll_flint/dll_flint.vcxproj
50 PROJECT_PATH ${SOURCE_PATH}/build.vc${MSVC_VERSION}/lib_flint/lib_flint.vcxproj
54 IF (VCPKG_TARGET_ARCHITECTURE MATCHES "x86")
55 SET(BUILD_ARCH "Win32")
57 SET(BUILD_ARCH ${VCPKG_TARGET_ARCHITECTURE})
60 if (VCPKG_LIBRARY_LINKAGE STREQUAL "dynamic")
61 file(GLOB FLINT_HEADERS "${SOURCE_PATH}/dll/${BUILD_ARCH}/Release/*.h")
64 DESTINATION ${CURRENT_PACKAGES_DIR}/include/flint
67 ${SOURCE_PATH}/build.vc${MSVC_VERSION}/dll_flint/${BUILD_ARCH}/Release/dll_flint.dll
68 DESTINATION ${CURRENT_PACKAGES_DIR}/bin
71 ${SOURCE_PATH}/build.vc${MSVC_VERSION}/dll_flint/${BUILD_ARCH}/Debug/dll_flint.dll
72 DESTINATION ${CURRENT_PACKAGES_DIR}/debug/bin
75 ${SOURCE_PATH}/build.vc${MSVC_VERSION}/dll_flint/${BUILD_ARCH}/Release/dll_flint.lib
76 DESTINATION ${CURRENT_PACKAGES_DIR}/lib
80 ${SOURCE_PATH}/build.vc${MSVC_VERSION}/dll_flint/${BUILD_ARCH}/Debug/dll_flint.lib
81 DESTINATION ${CURRENT_PACKAGES_DIR}/debug/lib
86 file(GLOB FLINT_HEADERS "${SOURCE_PATH}/lib/${BUILD_ARCH}/Release/*.h")
89 DESTINATION ${CURRENT_PACKAGES_DIR}/include/flint
92 ${SOURCE_PATH}/build.vc${MSVC_VERSION}/lib_flint/${BUILD_ARCH}/Release/lib_flint.lib
93 DESTINATION ${CURRENT_PACKAGES_DIR}/lib
97 ${SOURCE_PATH}/build.vc${MSVC_VERSION}/lib_flint/${BUILD_ARCH}/Debug/lib_flint.lib
98 DESTINATION ${CURRENT_PACKAGES_DIR}/debug/lib
104 ${SOURCE_PATH}/gpl-2.0.txt
105 DESTINATION ${CURRENT_PACKAGES_DIR}/share/flint
109 message(STATUS "Installing done")