Skip to content

Commit

Permalink
Update GMP for windows
Browse files Browse the repository at this point in the history
  • Loading branch information
ahmed-irfan authored Oct 3, 2023
1 parent c1159a6 commit 3945b3b
Showing 1 changed file with 8 additions and 12 deletions.
20 changes: 8 additions & 12 deletions doc/GMP
Original file line number Diff line number Diff line change
Expand Up @@ -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)
Expand All @@ -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.

0 comments on commit 3945b3b

Please sign in to comment.