12345qiupeng
/
gtsam
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge branch 'develop' into feature/wrapper-interface-updates

release/4.3a0
Varun Agrawal 2021-05-04 15:59:42 -04:00
parent 26a8b602a5 1fbb4e60ac
commit f74453cad8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/scripts/boost.sh vendored
View File

@ -2,7 +2,7 @@
BOOST_FOLDER=boost_${BOOST_VERSION//./_}
# Download Boost
wget https://dl.bintray.com/boostorg/release/${BOOST_VERSION}/source/${BOOST_FOLDER}.tar.gz
wget https://boostorg.jfrog.io/artifactory/main/release/${BOOST_VERSION}/source/${BOOST_FOLDER}.tar.gz
# Unzip
tar -zxf ${BOOST_FOLDER}.tar.gz