diff options
| author | Ivan Maidanski <ivmai@mail.ru> | 2017-08-04 00:47:56 +0300 |
|---|---|---|
| committer | Ivan Maidanski <ivmai@mail.ru> | 2017-08-04 00:47:56 +0300 |
| commit | e2e1ba7fc7bd867100a9cc36adbf487b17edfa7e (patch) | |
| tree | 2b855a33031c4dba39200658e1e4bdfa9501006d /configure.ac | |
| parent | d5e241724ca932d6401c878cf66fff4a27a1aef7 (diff) | |
| download | bdwgc-e2e1ba7fc7bd867100a9cc36adbf487b17edfa7e.tar.gz | |
Do not install documentation if configure --disable-docs (new option)
* configure.ac (docs): New AC_ARG_ENABLE.
* configure.ac (ENABLE_DOCS): New AM_CONDITIONAL.
* doc/doc.am (dist_doc_DATA): Define only if ENABLE_DOCS.
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 8190cef1..5826eebe 100644 --- a/configure.ac +++ b/configure.ac @@ -965,6 +965,11 @@ if test "$enable_gcov" = "yes"; then CXXFLAGS=`echo "$CXXFLAGS" | sed -e 's/-O\(1\|2\|3\|4\|s\|fast\)\?//g'` fi +AC_ARG_ENABLE(docs, + [AC_HELP_STRING([--disable-docs], + [Do not build and install documentation])]) +AM_CONDITIONAL(ENABLE_DOCS, test x$enable_docs != xno) + # Atomic Ops # ---------- |