From ebddd6f5fc1994a5efc8dc0c469777edc077a901 Mon Sep 17 00:00:00 2001 From: Dmitry Tokarev Date: Fri, 26 Sep 2025 16:12:13 -0400 Subject: [PATCH] Install libboost-dev with apt Signed-off-by: Dmitry Tokarev --- build.py | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/build.py b/build.py index 1145a8db9a..0de55f5b63 100755 --- a/build.py +++ b/build.py @@ -1080,6 +1080,7 @@ def create_dockerfile_buildbase(ddir, dockerfile_name, argmap): build-essential \\ git \\ gperf \\ + libboost-dev=1.83.* \\ libre2-dev \\ libssl-dev \\ libtool \\ @@ -1109,14 +1110,6 @@ def create_dockerfile_buildbase(ddir, dockerfile_name, argmap): virtualenv \\ patchelf==0.17.2 \\ cmake==4.0.3 - -# Install boost version >= 1.78 for boost::span -# Current libboost-dev apt packages are < 1.78, so install from tar.gz -RUN wget -O /tmp/boost.tar.gz \\ - https://archives.boost.io/release/1.80.0/source/boost_1_80_0.tar.gz \\ - && (cd /tmp && tar xzf boost.tar.gz) \\ - && mv /tmp/boost_1_80_0/boost /usr/include/boost - """ if FLAGS.enable_gpu: