From 3427b72ef448a1ae43db5b68d713b28e796ed2ec Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Gallou?= Date: Tue, 27 Aug 2024 12:54:38 +0200 Subject: [PATCH] Try to fix RaspberryPi build (use Boost 1.80) --- build-raspberrypi/Dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build-raspberrypi/Dockerfile b/build-raspberrypi/Dockerfile index ae0ad81..1627205 100644 --- a/build-raspberrypi/Dockerfile +++ b/build-raspberrypi/Dockerfile @@ -73,7 +73,7 @@ RUN apt-get update \ RUN mkdir -p $YADOMS_BUILD_TOOLS_PATH \ && cd $YADOMS_BUILD_TOOLS_PATH \ && git clone --depth=1 https://github.com/raspberrypi/tools.git -ENV PATH $PATH:$YADOMS_BUILD_TOOLS_PATH/tools/arm-bcm2708/arm-rpi-4.9.3-linux-gnueabihf/bin +ENV PATH=$PATH:$YADOMS_BUILD_TOOLS_PATH/tools/arm-bcm2708/arm-rpi-4.9.3-linux-gnueabihf/bin # CMake ARG cmake_version=3.30.2 @@ -103,7 +103,7 @@ RUN cd $YADOMS_DEPS_PATH \ # Boost ARG boost_version_major=1 -ARG boost_version_minor=75 +ARG boost_version_minor=80 ARG boost_version_patch=0 ARG boost_underscore=_ ARG boost_version=$boost_version_major$boost_underscore$boost_version_minor$boost_underscore$boost_version_patch