3 echo "##########################################################################"
5 echo "##########################################################################"
11 cmake $CMAKE_OPTIONS $SOURCE_DIR
18 #MAKE_OPTIONS=$MAKE_OPTIONS" -j1"
21 echo "*** make" $MAKE_OPTIONS
30 echo "*** make install"
34 echo "ERROR on make install"