From cd20fa5cac80a80742dc3338b3db442c9bb203d2 Mon Sep 17 00:00:00 2001 From: wzv5 Date: Thu, 2 Jan 2025 11:44:08 +0800 Subject: [PATCH] update boost to 1.87.0 --- install_boost.bat | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/install_boost.bat b/install_boost.bat index a16524148..2ea613c51 100644 --- a/install_boost.bat +++ b/install_boost.bat @@ -2,7 +2,7 @@ setlocal if not defined RIME_ROOT set RIME_ROOT=%CD% -if not defined boost_version set boost_version=1.84.0 +if not defined boost_version set boost_version=1.87.0 set boost_x_y_z=%boost_version:.=_% if not defined BOOST_ROOT set BOOST_ROOT=%RIME_ROOT%\deps\boost_%boost_x_y_z% @@ -10,7 +10,7 @@ if not defined BOOST_ROOT set BOOST_ROOT=%RIME_ROOT%\deps\boost_%boost_x_y_z% if exist "%BOOST_ROOT%\boost" goto boost_found for %%I in ("%BOOST_ROOT%\.") do set src_dir=%%~dpI rem download boost source -aria2c https://boostorg.jfrog.io/artifactory/main/release/%boost_version%/source/boost_%boost_x_y_z%.7z -d %src_dir% +aria2c https://archives.boost.io/release/%boost_version%/source/boost_%boost_x_y_z%.7z -d %src_dir% pushd %src_dir% 7z x boost_%boost_x_y_z%.7z popd