scripts: disable documentation
#!/bin/sh
#
# @author Markus Raab <elektra@markus-raab.org>
-# @brief Configure a debian build
+# @brief Configure a debian build with optimizations
# @date 02.09.2014
-# @tags configure, debian
+# @tags configure, debian, optimizations
SCRIPTS_DIR=$(dirname "$0")
. "${SCRIPTS_DIR}/configure-common"
cd $BUILD
cmake -DSWIG_EXECUTABLE=/usr/bin/swig3.0 \
- -DENABLE_OPTIMIZATIONS=ON \
+ -DENABLE_OPTIMIZATIONS="ON" \
-DPLUGINS="ALL" \
-DTOOLS="ALL" \
-DBINDINGS="ALL" \
-DENABLE_DEBUG="ON" \
-DENABLE_LOGGER="ON" \
+ -DBUILD_DOCUMENTATION="OFF" \
$*
