diff options
author | Brad King <brad.king@kitware.com> | 2016-09-29 17:53:33 (GMT) |
---|---|---|
committer | Brad King <brad.king@kitware.com> | 2016-09-29 17:55:15 (GMT) |
commit | ec0bf63823ff459d742a54fae4c8582b5b87d1dd (patch) | |
tree | e924159c5dd7f8c0654e24b925c132c50cf9bb29 | |
parent | 523f8ec82c5fb62f5f67c962ff59886396abd8fd (diff) | |
download | CMake-ec0bf63823ff459d742a54fae4c8582b5b87d1dd.zip CMake-ec0bf63823ff459d742a54fae4c8582b5b87d1dd.tar.gz CMake-ec0bf63823ff459d742a54fae4c8582b5b87d1dd.tar.bz2 |
bootstrap: Add options to enable/disable server mode explicitly
-rwxr-xr-x | bootstrap | 11 |
1 files changed, 11 insertions, 0 deletions
@@ -65,6 +65,7 @@ cmake_init_file="" cmake_bootstrap_system_libs="" cmake_bootstrap_qt_gui="" cmake_bootstrap_qt_qmake="" +cmake_bootstrap_server="" cmake_sphinx_man="" cmake_sphinx_html="" cmake_sphinx_qthelp="" @@ -407,6 +408,9 @@ Configuration: --no-qt-gui do not build the Qt-based GUI (default) --qt-qmake=<qmake> use <qmake> as the qmake executable to find Qt + --server enable the server mode (default if supported) + --no-server disable the server mode + --sphinx-man build man pages with Sphinx --sphinx-html build html help with Sphinx --sphinx-qthelp build qch help with Sphinx @@ -641,6 +645,8 @@ while test $# != 0; do --qt-gui) cmake_bootstrap_qt_gui="1" ;; --no-qt-gui) cmake_bootstrap_qt_gui="0" ;; --qt-qmake=*) cmake_bootstrap_qt_qmake=`cmake_arg "$1"` ;; + --server) cmake_bootstrap_server="1" ;; + --no-server) cmake_bootstrap_server="0" ;; --sphinx-man) cmake_sphinx_man="1" ;; --sphinx-html) cmake_sphinx_html="1" ;; --sphinx-qthelp) cmake_sphinx_qthelp="1" ;; @@ -1401,6 +1407,11 @@ if [ "x${cmake_bootstrap_qt_qmake}" != "x" ]; then set (QT_QMAKE_EXECUTABLE "'"${cmake_bootstrap_qt_qmake}"'" CACHE FILEPATH "Location of Qt qmake" FORCE) ' >> "${cmake_bootstrap_dir}/InitialCacheFlags.cmake" fi +if [ "x${cmake_bootstrap_server}" != "x" ]; then + echo ' +set (CMake_ENABLE_SERVER_MODE '"${cmake_bootstrap_server}"' CACHE BOOL "Enable server mode" FORCE) +' >> "${cmake_bootstrap_dir}/InitialCacheFlags.cmake" +fi if [ "x${cmake_sphinx_man}" != "x" ]; then echo ' set (SPHINX_MAN "'"${cmake_sphinx_man}"'" CACHE BOOL "Build man pages with Sphinx" FORCE) |