3

# build mode defaults to Release

    10

# install prefix defaults to /tmp

    17

# detect doxygen from HUT /p/contrib

    18

if [ -x /p/contrib/bin/doxygen ]; then

    19

    echo "Detected doxygen in /p/contrib/bin/"

    21

    DOXYGEN_HOME=/p/contrib/bin

    22

fi

    24

# output parameters

    25

echo "*** Using BUILD_TYPE=${BUILD_TYPE}, INSTALL_PREFIX=${INSTALL_PREFIX}, DOXYGEN_HOME=${DOXYGEN_HOME}"

    26

    27

# run cmake

    28

cmake ../                                           \

    29

    -DCMAKE_BUILD_TYPE=${BUILD_TYPE}                \

    30

    -DCMAKE_INSTALL_PREFIX=$INSTALL_PREFIX          \

    31

    -DCMAKE_CXX_FLAGS="-Wall -Wextra -Wconversion"  \

    32

    -DDOXYGEN_HOME=${DOXYGEN_HOME}

    33