1

#!/bin/sh

     2

     3

# build mode defaults to Release

     4

if [ -z "$1" ]; then

     5

    BUILD_TYPE=Release

     6

else

     7

    BUILD_TYPE="$1"; shift

     8

fi

     9

    10

# install prefix defaults to /tmp

    11

if [ -z "$1" ]; then

    12

    INSTALL_PREFIX=/tmp

    13

else

    14

    INSTALL_PREFIX="$1"; shift

    15

fi

    16

    17

# remaining arguments

    18

EXTRA_OPTS="$*"

    19

    20

# detect doxygen from HUT /p/contrib

    21

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

    22

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

    23

    24

    export DOXYGEN_HOME=/p/contrib/bin

    25

fi

    26

    27

# output parameters

    28

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

    29

echo "  EXTRA_OPTS=${EXTRA_OPTS}"

    30

    31

# run cmake

    32

cmake ../                                           \

    33

    -DCMAKE_BUILD_TYPE=${BUILD_TYPE}                \

    34

    -DCMAKE_INSTALL_PREFIX=$INSTALL_PREFIX          \

    35

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

    36

    ${EXTRA_OPTS}

    37

    38

#    -DDOXYGEN_HOME=${DOXYGEN_HOME}                  \