1

#!/bin/sh

     2

     6

# build mode defaults to Release

     7

if [ -z "$1" ]; then

     8

    BUILD_TYPE=Release

     9

else

    12

fi

    13

    14

# install prefix defaults to /tmp

    15

if [ -z "$2" ]; then

    16

    INSTALL_PREFIX=/tmp

    17

else

    20

fi

    21

    25

# detect doxygen from HUT /p/contrib

    26

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

    27

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

    28

    29

    DOXYGEN_HOME=/p/contrib/bin

    30

fi

    31

    32

# output parameters

    33

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

    35

    36

# run cmake

    37

cmake ../                                           \

    38

    -DCMAKE_BUILD_TYPE=${BUILD_TYPE}                \

    39

    -DCMAKE_INSTALL_PREFIX=$INSTALL_PREFIX          \

    40

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

    43