3 echo "##########################################################################"
5 echo "##########################################################################"
12 CMAKE_OPTIONS=$CMAKE_OPTIONS" -DCMAKE_INSTALL_PREFIX=$PRODUCT_INSTALL"
15 echo "*** cmake ${CMAKE_OPTIONS}"
16 cmake ${CMAKE_OPTIONS} $SOURCE_DIR
25 #echo "*** make" $MAKE_OPTIONS
29 # echo "ERROR on make"
34 echo "*** make install"
38 echo "ERROR on make install"