infra/ci: trying to fix boost download
@@ -105,14 +105,30 @@ jobs:
run: |
echo 'BOOST_VER=1.73.0' >> $GITHUB_ENV
shell: bash
- - name: Install boost
+ - name: Checkout boost repo
+ uses: actions/checkout@v3
+ with:
+ repository: 'boostorg/boost'
+ path: 'boost'
+ submodules: 'recursive'
+ ref: 'boost-${{env.BOOST_VER}}'
+ - name: Install boost (not windows)
+ if: matrix.os != 'windows-2019'
+ run: |
+ set -e
+ cd $GITHUB_WORKSPACE/boost
+ ./bootstrap.sh
+ ./b2 headers
+ echo "BOOST_ROOT=$GITHUB_WORKSPACE/boost" >> $GITHUB_ENV
+ shell: bash
+ - name: Install boost (not windows)
+ if: matrix.os == 'windows-2019'
run: |
set -e
- export BOOST_VER_NAME=`echo $BOOST_VER | sed 's/\./_/g'`
- export TAR="boost_$BOOST_VER_NAME.tar.gz"
- curl -L -o $TAR https://boostorg.jfrog.io/artifactory/main/release/$BOOST_VER/source/$TAR
- tar --exclude more --exclude tools --exclude doc --exclude html --exclude test -xzvf $TAR
- echo "BOOST_ROOT=$PWD/boost_$BOOST_VER_NAME" >> $GITHUB_ENV
+ cd $GITHUB_WORKSPACE/boost
+ ./bootstrap.bat
+ ./b2 headers
+ echo "BOOST_ROOT=$GITHUB_WORKSPACE/boost" >> $GITHUB_ENV
shell: bash
- name: Install valgrind for linux
if: matrix.os == 'ubuntu-latest'
