Verified Commit c8ded6f4 authored by Tommaso Tocci's avatar Tommaso Tocci
Browse files

compile deps: Make use of CMAKE_PREFIX_PATH 

Make use of CMAKE_PREFIX_PATH if it is in the current environment
parent 76a5cd05

ifs/scripts/compile_dep.sh

+1 −0
Original line number Diff line number Diff line
@@ -148,6 +148,7 @@ USE_CCI="-DNA_USE_CCI:BOOL=OFF" 
USE_OFI="-DNA_USE_OFI:BOOL=OFF"



CMAKE=`find_cmake`

CMAKE="${CMAKE} -DCMAKE_PREFIX_PATH=${CMAKE_PREFIX_PATH}"



echo "Source path = '$1'";

echo "Install path = '$2'";