From 8fe0633fb5895d1fdc1fdd7bc99f3b7ed8439d2c Mon Sep 17 00:00:00 2001
From: Jane Tournois <janetournois@users.noreply.github.com>
Date: Thu, 13 Apr 2023 15:44:21 +0200
Subject: [PATCH] add new possible gmp name for MSVC

gmp-10 was compiled with vcpkg and installed on Christo
---
 Installation/test/Installation/test_gmp_mpfr_dll.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Installation/test/Installation/test_gmp_mpfr_dll.cpp b/Installation/test/Installation/test_gmp_mpfr_dll.cpp
index 3f407098996..fbc511c3889 100644
--- a/Installation/test/Installation/test_gmp_mpfr_dll.cpp
+++ b/Installation/test/Installation/test_gmp_mpfr_dll.cpp
@@ -8,6 +8,7 @@ int main() {
 #define GMP_SONAME "libgmp-10"
 #define MPFR_SONAME "libmpfr-4"
 #define GMP_SONAME_BACKUP "gmp"
+#define GMP_SONAME_BACKUP_2 "gmp-10"
 #define MPFR_SONAME_BACKUP "mpfr-6"
 #define GMP_MAJOR 5
 #define MPFR_MAJOR 3
@@ -66,7 +67,9 @@ int main() {
   int major, minor, patch, build;
   if(!get_version_info(GMP_SONAME, major, minor, patch, build)) {
     if(!get_version_info(GMP_SONAME_BACKUP, major, minor, patch, build)) {
-      return 1;
+      if (!get_version_info(GMP_SONAME_BACKUP_2, major, minor, patch, build)) {
+        return 1;
+      }
     }
   }