From cc352e746c0567defff7347c4f618cc465b3c7da Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Gallou?= Date: Tue, 27 Aug 2024 11:19:45 +0200 Subject: [PATCH] Try to fix RaspberryPi build (use Boost 1.75) --- build-raspberrypi/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build-raspberrypi/Dockerfile b/build-raspberrypi/Dockerfile index 22cca34..a11be54 100644 --- a/build-raspberrypi/Dockerfile +++ b/build-raspberrypi/Dockerfile @@ -103,7 +103,7 @@ RUN cd $YADOMS_DEPS_PATH \ # Boost ARG boost_version_major=1 -ARG boost_version_minor=76 +ARG boost_version_minor=75 ARG boost_version_patch=0 ARG boost_underscore=_ ARG boost_version=$boost_version_major$boost_underscore$boost_version_minor$boost_underscore$boost_version_patch