2015-07-25 15:10:02 -04:00
|
|
|
@echo off
|
|
|
|
|
2015-06-06 05:12:40 -04:00
|
|
|
if exist lib\win32\release call :sub lib\win32\release
|
|
|
|
if exist lib\win32\debug call :sub lib\win32\debug
|
|
|
|
if exist lib\x64\release call :sub lib\x64\release
|
|
|
|
if exist lib\x64\debug call :sub lib\x64\debug
|
|
|
|
|
|
|
|
if exist dll\win32\release call :sub dll\win32\release
|
|
|
|
if exist dll\win32\debug call :sub dll\win32\debug
|
|
|
|
if exist dll\x64\release call :sub dll\x64\release
|
|
|
|
if exist dll\x64\debug call :sub dll\x64\debug
|
|
|
|
|
|
|
|
exit /b 0
|
|
|
|
|
|
|
|
:sub
|
|
|
|
echo off
|
|
|
|
if not exist %1 exit /b 0
|
2015-07-25 15:10:02 -04:00
|
|
|
pushd %1
|
2015-06-06 05:12:40 -04:00
|
|
|
if exist mpir.dll (ren mpir.dll gmp.dll)
|
|
|
|
if exist mpir.lib (ren mpir.lib gmp.lib)
|
|
|
|
if exist mpir.pdb (ren mpir.pdb gmp.pdb)
|
|
|
|
if exist mpir.exp (ren mpir.exp gmp.exp)
|
|
|
|
if exist mpirxx.lib (ren mpirxx.lib gmpxx.lib)
|
|
|
|
if exist mpirxx.pdb (ren mpirxx.pdb gmpxx.pdb)
|
2015-07-25 15:10:02 -04:00
|
|
|
popd
|
2015-06-06 05:12:40 -04:00
|
|
|
exit /b 0
|