diff options
| author | NancyLi1013 <46708020+NancyLi1013@users.noreply.github.com> | 2020-08-06 05:08:18 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-05 14:08:18 -0700 |
| commit | 1ed263bc5237599365b29537ec526e640ce56f5b (patch) | |
| tree | 95ee2b915ea941e750ceee6cdc2360cc74533bc5 /ports/mpir | |
| parent | 4454f8fb9870102b85d9118ec2c2e80a08b8a474 (diff) | |
| download | vcpkg-1ed263bc5237599365b29537ec526e640ce56f5b.tar.gz vcpkg-1ed263bc5237599365b29537ec526e640ce56f5b.zip | |
[mpir, gmp] Add message to handle the conflicts between these two ports. (#12664)
Diffstat (limited to 'ports/mpir')
| -rw-r--r-- | ports/mpir/portfile.cmake | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ports/mpir/portfile.cmake b/ports/mpir/portfile.cmake index e3ef1dc9d..856e4e273 100644 --- a/ports/mpir/portfile.cmake +++ b/ports/mpir/portfile.cmake @@ -1,5 +1,9 @@ vcpkg_fail_port_install(ON_ARCH "arm" ON_TARGET "uwp") +if(EXISTS "${CURRENT_INSTALLED_DIR}/include/gmp.h" OR "${CURRENT_INSTALLED_DIR}/include/gmpxx.h") + message(FATAL_ERROR "Can't build ${PORT} if gmp is installed. Please remove gmp, and try to install ${PORT} again if you need it.") +endif() + if(VCPKG_CRT_LINKAGE STREQUAL "static" AND VCPKG_LIBRARY_LINKAGE STREQUAL "dynamic") message(FATAL_ERROR "${PORT} currently can only be built using the dynamic CRT when building DLLs") endif() |