diff options
-rw-r--r-- | configure.ac | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 978ff27..7d2f4f8 100644 --- a/configure.ac +++ b/configure.ac @@ -37,7 +37,17 @@ fi AC_SUBST(GDC) AC_SUBST(GDC_VERSION,[$($GDC --version | grep -P -o "(?<=\()gdc (.*?)(?=,)")]) -AC_SUBST(DFLAGS, "-g -O2 -fdoc -fdoc-dir=$(pwd)/doc") + +DFLAGS="-g -O2" + +dnl Should I generate the documentation? +AC_ARG_ENABLE(doc, AS_HELP_STRING(--disable-doc, do not generate documentation),, + [ + DFLAGS+=" -fdoc -fdoc-dir=$(pwd)/doc" + ] +) + +AC_SUBST(DFLAGS) AC_SUBST(DEPS_CFLAGS) AC_SUBST(DEPS_LIBS) |