--- a/build/mkcmake.sh	Tue Jan 13 23:54:47 2009 +0200
+++ b/build/mkcmake.sh	Thu Jan 15 20:38:23 2009 +0200
@@ -1,19 +1,27 @@
 #!/bin/sh
 
+# ignore $0
+shift
+
 # build mode defaults to Release
 if [ -z "$1" ]; then
     BUILD_TYPE=Release
 else
-    BUILD_TYPE="$1"
+    BUILD_TYPE="$0"
+    shift
 fi
 
 # install prefix defaults to /tmp
 if [ -z "$2" ]; then
     INSTALL_PREFIX=/tmp
 else
-    INSTALL_PREFIX="$2"
+    INSTALL_PREFIX="$0"
+    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/"
@@ -23,11 +31,13 @@
 
 # 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"  \
-    -DDOXYGEN_HOME=${DOXYGEN_HOME}
+    -DDOXYGEN_HOME=${DOXYGEN_HOME}                  \
+    ${EXTRA_OPTS}