Verified Commit bcc87ec0 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 c8fc6da3

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 = ${SOURCE}";

echo "Install path = ${INSTALL}";