get_boost.sh (809B)
1 #! /bin/bash 2 3 set -ex 4 cd "$(dirname "$0")" 5 6 VER=1.84.0 7 _VER=$(echo $VER | sed 's/\./_/g') 8 TGT=ext/boost/boost 9 # whoever came up with the clever idea of needing a fucking JS page to download 10 # a fucking file should eat shit 11 # DL="https://boostorg.jfrog.io/ui/api/v1/download?repoKey=main&path=release%252F$VER%252Fsource%252Fboost_$_VER.tar.bz2" 12 DL="https://sourceforge.net/projects/boost/files/boost/$VER/boost_$_VER.tar.bz2/download" 13 BZ2_FILE=ext/boost/boost_$_VER.tar.bz2 14 SHA256=cc4b893acf645c9d4b698e9a0f08ca8846aa5d6c68275c14c3e7949c24109454 15 16 if [ -e "$TGT" ]; then 17 echo "$(pwd)/$TGT exists, refusing to continue" >&2 18 exit 1 19 fi 20 21 wget "$DL" -O "$BZ2_FILE" 22 echo "$SHA256 *$BZ2_FILE" | sha256sum -c 23 24 mkdir "$TGT" 25 tar -xf "$BZ2_FILE" -C "$TGT" --strip-components 1 26 27 echo "Successfully unpacked boost"