3 echo "##########################################################################"
4 echo "solvespace" $VERSION
5 echo "##########################################################################"
11 CMAKE_OPTIONS+=" -DCMAKE_INSTALL_PREFIX:STRING=${PRODUCT_INSTALL}"
12 CMAKE_OPTIONS+=" -DCMAKE_BUILD_TYPE:STRING=Release"
13 CMAKE_OPTIONS+=" -DONLY_LIB=ON"
15 echo '$SOURCE_DIR ' $SOURCE_DIR
16 cmake $CMAKE_OPTIONS $SOURCE_DIR
25 echo "*** make" $MAKE_OPTIONS
34 echo "*** make install"
38 echo "ERROR on make install"