Skip to content
Snippets Groups Projects
Commit 14c95abd authored by Pietro Incardona's avatar Pietro Incardona
Browse files

Fixing installation

parent f48f4a45
No related branches found
No related tags found
No related merge requests found
...@@ -74,16 +74,31 @@ function remove_old() ...@@ -74,16 +74,31 @@ function remove_old()
fi fi
## Check the installed version of the dependencies ## Check the installed version of the dependencies
is_update=$(cat $1/BOOST/include/boost/version.hpp | grep "#define BOOST_VERSION 106000") cat $1/BOOST/include/boost/version.hpp > /dev/null
if [ x"$is_update" == x"" ]; then if [ $? -eq 0 ]; then
echo "New boost version, removing the old one" is_update=$(cat $1/BOOST/include/boost/version.hpp | grep "#define BOOST_VERSION 106000")
rm -rf $1/BOOST/include if [ x"$is_update" == x"" ]; then
rm -rf $1/BOOST/lib echo "\033[1;34;5m New boost version, removing the old one \033[0m"
rm -rf $1/BOOST sleep 3
rm -rf $1/BOOST/include
rm -rf $1/BOOST/lib
rm -rf $1/BOOST
fi
fi fi
##
cat $1/METIS/version
if [ $? -eq 0 ]; then
version=$(cat $1/METIS/version)
if [ x"$version" != x"1" ]; then
echo -e "\033[1;34;5m New METIS version, removing the old one \033[0m"
sleep 3
rm -rf $1/METIS/include
rm -rf $1/METIS/lib
rm -rf $1/METIS
fi
fi
} }
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment