diff options
author | U.Nakamura <usa@ruby-lang.org> | 2022-09-13 15:43:05 +0900 |
---|---|---|
committer | U.Nakamura <usa@ruby-lang.org> | 2022-09-13 15:44:29 +0900 |
commit | 316b44df09d3bf9dcabb8e2ce9528c72304c1bd4 (patch) | |
tree | bf9d48842e45c0df4af368d2cf156c232fc4fbd4 /win32/configure.bat | |
parent | 391eebfe6979f72ddff1d086dceb8e415aac0433 (diff) | |
download | ruby-316b44df09d3bf9dcabb8e2ce9528c72304c1bd4.tar.gz |
Add GMP support for mswin
Diffstat (limited to 'win32/configure.bat')
-rwxr-xr-x | win32/configure.bat | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/win32/configure.bat b/win32/configure.bat index a3df0bb4eb..7253ade28b 100755 --- a/win32/configure.bat +++ b/win32/configure.bat @@ -48,6 +48,7 @@ if "%1" == "--with-git" goto :git if "%1" == "--without-git" goto :nogit
if "%1" == "--without-ext" goto :witharg
if "%1" == "--without-extensions" goto :witharg
+if "%1" == "--with-gmp" goto :gmp
if "%opt:~0,10%" == "--without-" goto :withoutarg
if "%opt:~0,7%" == "--with-" goto :witharg
if "%1" == "-h" goto :help
@@ -210,6 +211,12 @@ goto :loop ; echo>>confargs.tmp %1 \
shift
goto :loop ;
+:gmp
+ echo>> ~tmp~.mak "WITH_GMP=yes" \
+ echo>>confargs.tmp %1=1 \
+ shift
+ shift
+goto :loop ;
:witharg
echo>>confargs.tmp %1=%2\
set witharg=1
|