From 3945b3bcc0282c547462e397c61d2acf3917d448 Mon Sep 17 00:00:00 2001
From: Ahmed <43099566+ahmed-irfan@users.noreply.github.com>
Date: Tue, 3 Oct 2023 12:36:28 -0700
Subject: [PATCH] Update GMP for windows

---
 doc/GMP | 20 ++++++++------------
 1 file changed, 8 insertions(+), 12 deletions(-)

diff --git a/doc/GMP b/doc/GMP
index dded81098..f679ecfb9 100644
--- a/doc/GMP
+++ b/doc/GMP
@@ -373,20 +373,19 @@ For GMP 5.0.1, it's also a good idea to get the patch at
 Otherwise, make check will fail for t-perfpow.
 
 
-Then, give the following options to GMP's configure script:
+Then, give the following options to GMP's configure script
+(update the prefix path) for the dynamic GMP:
 
   ./configure --disable-static --enable-shared \
     --prefix=.... \
-    --host=x86_64-pc-mingw32 --build=i686-pc-cygwin \
-    CC=/usr/bin/x86_64-w64-mingw32-gcc \
-    NM=/usr/bin/x86_64-w64-mingw32-nm \
-    AR=/usr/bin/x86_64-w64-mingw32-ar \
-    CC_FOR_BUILD=gcc \
+    --host=x86_64-pc-mingw32 --build=i686-pc-cygwin 
 
+Then, for the static GMP (update the prefix path -- use a 
+different path from the dynamic GMP path):
 
-It's important to specify NM as the x86_64 version. Otherwise the
-'./configure' fails. Not sure specifying AR=... is required.
-
+   ./configure --host=x86_64-w64-mingw32 --enable-static \
+     --prefix=.... \
+     --disable-shared --build=i686-pc-cygwin
 
 
 UPDATE (2012/02/15)
@@ -400,7 +399,4 @@ mingw64, 'make check' failed with this complaint:
 To fix this, I just did:
    /usr/bin/x86_64-w64-mingw32-ranlib ./tests/.libs/libtests.a
 
-(Playing with with RANLIB= ... or other options to configure
- did not help).
-
 Then 'make check' proceeded without problems after that.