build/mkcmake.sh
author nireco
Sat, 31 Jan 2009 12:33:08 +0200
changeset 443 5d1119729f58
parent 407 443f6f7abcfb
permissions -rwxr-xr-x
worm02 two pics to comment
#!/bin/sh

# build mode defaults to Release
if [ -z "$1" ]; then
    BUILD_TYPE=Release
else
    BUILD_TYPE="$1"; shift
fi

# install prefix defaults to /tmp
if [ -z "$1" ]; then
    INSTALL_PREFIX=/tmp
else
    INSTALL_PREFIX="$1"; shift
fi

# remaining arguments
EXTRA_OPTS="$*"

# detect doxygen from HUT /p/contrib
if [ -x /p/contrib/bin/doxygen ]; then
    echo "Detected doxygen in /p/contrib/bin/"

    export DOXYGEN_HOME=/p/contrib/bin
fi

# output parameters
echo "*** Using BUILD_TYPE=${BUILD_TYPE}, INSTALL_PREFIX=${INSTALL_PREFIX}, DOXYGEN_HOME=${DOXYGEN_HOME}"
echo "  EXTRA_OPTS=${EXTRA_OPTS}"

# run cmake
cmake ../                                           \
    -DCMAKE_BUILD_TYPE=${BUILD_TYPE}                \
    -DCMAKE_INSTALL_PREFIX=$INSTALL_PREFIX          \
    -DCMAKE_CXX_FLAGS="-Wall -Wextra -Wconversion"  \
    ${EXTRA_OPTS}

#    -DDOXYGEN_HOME=${DOXYGEN_HOME}                  \