diff options
Diffstat (limited to 'devel/libthai/files/patch-configure')
| -rw-r--r-- | devel/libthai/files/patch-configure | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/devel/libthai/files/patch-configure b/devel/libthai/files/patch-configure new file mode 100644 index 000000000000..f77c6744c2af --- /dev/null +++ b/devel/libthai/files/patch-configure @@ -0,0 +1,17 @@ +--- configure.orig 2015-05-08 04:53:50 UTC ++++ configure +@@ -12031,14 +12031,8 @@ fi + { $as_echo "$as_me:${as_lineno-$LINENO}: checking doxygen >= $DOXYGEN_REQ_VER" >&5 + $as_echo_n "checking doxygen >= $DOXYGEN_REQ_VER... " >&6; } + DOXYGEN_VER=$($DOXYGEN --version) +- if expr $DOXYGEN_VER \< $DOXYGEN_REQ_VER > /dev/null; then +- { $as_echo "$as_me:${as_lineno-$LINENO}: result: $DOXYGEN_VER, no, documentation disabled" >&5 +-$as_echo "$DOXYGEN_VER, no, documentation disabled" >&6; } +- enable_doxygen_doc="no" +- else + { $as_echo "$as_me:${as_lineno-$LINENO}: result: $DOXYGEN_VER, yes" >&5 + $as_echo "$DOXYGEN_VER, yes" >&6; } +- fi + fi + fi + |