Make missing doxygen non-fatal to configure
do allow "arch-dependent only" builds (e.g. Debian buildbots)
IOhannes m zmölnig
8 years ago
| 0 | Description: don't fail on missing doxygen | |
| 1 | Debian does not install doxygen on arch-dependent only builds. | |
| 2 | Not having doxygen installed is a fatal error (unless the --without-doxygen | |
| 3 | option is specified, which we don't want to do since we do want to build the | |
| 4 | docs in the full builds) | |
| 5 | Author: IOhannes m zmölnig | |
| 6 | Last-Update: 2015-07-17 | |
| 7 | --- | |
| 8 | This patch header follows DEP-3: http://dep.debian.net/deps/dep3/ | |
| 9 | --- gavl.orig/configure.ac | |
| 10 | +++ gavl/configure.ac | |
| 11 | @@ -53,7 +53,7 @@ | |
| 12 | if test "x$test_doxygen" = "xtrue"; then | |
| 13 | AC_CHECK_PROG(DOXYGEN, doxygen, "doxygen") | |
| 14 | if test -z "$DOXYGEN"; then | |
| 15 | - AC_MSG_ERROR([Doxygen not found, use --without-doxygen to disable documentation generation]) | |
| 16 | + AC_MSG_WARN([Doxygen not found, use --without-doxygen to disable documentation generation]) | |
| 17 | else | |
| 18 | have_doxygen="true" | |
| 19 | fi |