Manually specify BOOST_ROOT

2020-08-15 13:05:53 -04:00 · 2020-08-15 13:05:53 -04:00 · b9f4f28e1a
parent 288195ba16
commit b9f4f28e1a
1 changed files with 1 additions and 0 deletions
--- a/.travis.sh
+++ b/.travis.sh
@ -64,6 +64,7 @@ function configure()
      -DGTSAM_ALLOW_DEPRECATED_SINCE_V4=${GTSAM_ALLOW_DEPRECATED_SINCE_V4:-OFF} \
      -DGTSAM_BUILD_WITH_MARCH_NATIVE=OFF \
      -DCMAKE_VERBOSE_MAKEFILE=ON
+      -DBOOST_ROOT=$BOOST_ROOT
 }