[mpfr] revert portfile patch

This commit is contained in:
xoviat 2017-11-29 12:17:53 -06:00 committed by GitHub
parent e0362393cf
commit 8c6eb97ec7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -10,11 +10,6 @@ vcpkg_extract_source_archive(${ARCHIVE})
file(COPY ${CMAKE_CURRENT_LIST_DIR}/CMakeLists.txt DESTINATION ${SOURCE_PATH})
file(COPY ${CMAKE_CURRENT_LIST_DIR}/gmp_printf.c DESTINATION ${SOURCE_PATH}/src)
# Prepend stdint to the mpfr header
file(READ "${SOURCE_PATH}/src/mpfr.h" _contents)
string(CONCAT _contents "#include \"stdint.h\"\n" ${_contents})
file(WRITE "${SOURCE_PATH}/src/mpfr.h" ${_contents})
vcpkg_configure_cmake(
SOURCE_PATH ${SOURCE_PATH}
)