3 echo "##########################################################################"
5 echo "##########################################################################"
7 rm -Rf $PRODUCT_INSTALL
10 CMAKE_OPTIONS=$CMAKE_OPTIONS" -DCMAKE_INSTALL_PREFIX:STRING=${PRODUCT_INSTALL}"
11 CMAKE_OPTIONS=$CMAKE_OPTIONS" -DCMAKE_BUILD_TYPE:STRING=Release"
12 CMAKE_OPTIONS=$CMAKE_OPTIONS" -DWITH_CUDA:BOOL=OFF"
18 if [[ $DIST_NAME == "CO" && $DIST_VERSION == "5.5" ]]
20 env CC=/usr/bin/gcc44 CXX=/usr/bin/g++44 cmake $CMAKE_OPTIONS $SOURCE_DIR
22 cmake $CMAKE_OPTIONS $SOURCE_DIR
32 echo "*** make" $MAKE_OPTIONS
41 echo "*** make install"
45 echo "ERROR on make install"