3 if [[ ! $(which wget) ]]; then
4 echo "wget is not installed"
11 wget -O ${ROOT}/boost_${VER}.tar.gz https://boostorg.jfrog.io/artifactory/main/release/1.84.0/source/boost_${VER}.tar.gz
12 tar -xzf ${ROOT}/boost_${VER}.tar.gz
13 mv ${ROOT}/boost_${VER} boost