fix for boost config file ignore

darioizzo · May 8, 2019 · cbdea9f · cbdea9f
1 parent 6935e66
commit cbdea9f
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/tools/install_docker.sh b/tools/install_docker.sh
@@ -36,15 +36,16 @@ 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 ..
 
 # Install audi headers
 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