File indexing completed on 2025-01-18 09:10:43
0001
0002
0003
0004
0005
0006 set -u
0007 set -e
0008
0009 SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )"
0010
0011 SHOWACTSVERSION=$1
0012
0013 BOOSTVER=$(< "$SCRIPT_DIR/../CMakeLists.txt" sed -n 's/^set(_acts_boost_recommended_version \(.*\))$/\1/p')
0014 EIGENVER=$(< "$SCRIPT_DIR/../CMakeLists.txt" sed -n 's/^set(_acts_eigen3_version \(.*\))$/\1/p')
0015
0016 if ! $SHOWACTSVERSION | grep -q "Using Boost version $BOOSTVER"; then
0017 echo "Boost version mismatch!"
0018 exit 1
0019 fi
0020
0021 if ! $SHOWACTSVERSION | grep -q "Using Eigen version $EIGENVER"; then
0022 echo "Eigen version mismatch!"
0023 exit 1
0024 fi
0025
0026 exit 0