From 38463687685c6030a339191733be3db9b6f5f3f2 Mon Sep 17 00:00:00 2001
From: absingh <absingh@mpi-cbg.de>
Date: Thu, 11 May 2023 12:22:00 +0200
Subject: [PATCH] Properly updating boost!
---
script/remove_old | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/script/remove_old b/script/remove_old
index 4e5e56297..225aa268a 100755
--- a/script/remove_old
+++ b/script/remove_old
@@ -76,10 +76,10 @@ function remove_old()
## Check the installed version of the dependencies
if [ -d $1/BOOST ]; then
- is_update=$(cat $1/BOOST/include/boost/version.hpp | grep "#define BOOST_VERSION 107500")
+ is_update=$(cat $1/BOOST/include/boost/version.hpp | grep "#define BOOST_VERSION 108200")
if [ x"$is_update" == x"" ]; then
echo -e "\033[1;34;5m --------------------------------------------------------------------------- \033[0m"
- echo -e "\033[1;34;5m Boost has been updated to 1.75, the component will be updated automatically \033[0m"
+ echo -e "\033[1;34;5m Boost has been updated to 1.82, the component will be updated automatically \033[0m"
echo -e "\033[1;34;5m --------------------------------------------------------------------------- \033[0m"
sleep 5
rm -rf $1/BOOST/include
--
GitLab