From cbdea9f5043f9daf67ce23e9f15da6baa5a189b1 Mon Sep 17 00:00:00 2001 From: Dario Izzo Date: Wed, 8 May 2019 13:48:37 +0200 Subject: [PATCH] fix for boost config file ignore --- tools/install_docker.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/tools/install_docker.sh b/tools/install_docker.sh index ff90277c..a02c58d3 100644 --- a/tools/install_docker.sh +++ b/tools/install_docker.sh @@ -36,7 +36,7 @@ tar xvf v0.11 > /dev/null 2>&1 cd piranha-0.11 mkdir build cd build -cmake ../ > /dev/null +cmake -DBoost_NO_BOOST_CMAKE=ON ../ > /dev/null make install > /dev/null 2>&1 cd .. @@ -44,7 +44,8 @@ cd .. cd /audi mkdir build_audi cd build_audi -cmake -DAUDI_BUILD_AUDI=yes \ +cmake -DBoost_NO_BOOST_CMAKE=ON \ + -DAUDI_BUILD_AUDI=yes \ -DAUDI_BUILD_TESTS=no \ -DCMAKE_BUILD_TYPE=Release ../ make install