equal
deleted
inserted
replaced
24 |
24 |
25 # detect doxygen from HUT /p/contrib |
25 # detect doxygen from HUT /p/contrib |
26 if [ -x /p/contrib/bin/doxygen ]; then |
26 if [ -x /p/contrib/bin/doxygen ]; then |
27 echo "Detected doxygen in /p/contrib/bin/" |
27 echo "Detected doxygen in /p/contrib/bin/" |
28 |
28 |
29 DOXYGEN_HOME=/p/contrib/bin |
29 export DOXYGEN_HOME=/p/contrib/bin |
30 fi |
30 fi |
31 |
31 |
32 # output parameters |
32 # output parameters |
33 echo "*** Using BUILD_TYPE=${BUILD_TYPE}, INSTALL_PREFIX=${INSTALL_PREFIX}, DOXYGEN_HOME=${DOXYGEN_HOME}" |
33 echo "*** Using BUILD_TYPE=${BUILD_TYPE}, INSTALL_PREFIX=${INSTALL_PREFIX}, DOXYGEN_HOME=${DOXYGEN_HOME}" |
34 echo " EXTRA_OPTS=${EXTRA_OPTS}" |
34 echo " EXTRA_OPTS=${EXTRA_OPTS}" |
36 # run cmake |
36 # run cmake |
37 cmake ../ \ |
37 cmake ../ \ |
38 -DCMAKE_BUILD_TYPE=${BUILD_TYPE} \ |
38 -DCMAKE_BUILD_TYPE=${BUILD_TYPE} \ |
39 -DCMAKE_INSTALL_PREFIX=$INSTALL_PREFIX \ |
39 -DCMAKE_INSTALL_PREFIX=$INSTALL_PREFIX \ |
40 -DCMAKE_CXX_FLAGS="-Wall -Wextra -Wconversion" \ |
40 -DCMAKE_CXX_FLAGS="-Wall -Wextra -Wconversion" \ |
41 -DDOXYGEN_HOME=${DOXYGEN_HOME} \ |
41 # -DDOXYGEN_HOME=${DOXYGEN_HOME} \ |
42 ${EXTRA_OPTS} |
42 ${EXTRA_OPTS} |
43 |
43 |