diff options
| author | Mark Wielaard <mjw@redhat.com> | 2009-01-07 16:44:02 +0100 |
|---|---|---|
| committer | Mark Wielaard <mjw@redhat.com> | 2009-01-07 16:44:02 +0100 |
| commit | 2d4b8ddfb72206a2e0fc4b500e54602a1f6ba189 (patch) | |
| tree | e8e958085b4f10d633f08cbb9303c8546ef2f6ac | |
| parent | 19a0d4b6065735b884430e3c15160997606794f1 (diff) | |
| download | systemtap-steved-2d4b8ddfb72206a2e0fc4b500e54602a1f6ba189.tar.gz systemtap-steved-2d4b8ddfb72206a2e0fc4b500e54602a1f6ba189.tar.xz systemtap-steved-2d4b8ddfb72206a2e0fc4b500e54602a1f6ba189.zip | |
Warn when not building docs because tools not found.
| -rw-r--r-- | ChangeLog | 5 | ||||
| -rwxr-xr-x | configure | 8 | ||||
| -rw-r--r-- | configure.ac | 7 |
3 files changed, 16 insertions, 4 deletions
@@ -1,5 +1,10 @@ 2009-01-07 Mark Wielaard <mjw@redhat.com> + * configure.ac: Warn when not building docs because tools not found. + * configure: Regenerated. + +2009-01-07 Mark Wielaard <mjw@redhat.com> + * configure.ac: Add --enable-server configure option and set BUILD_SERVER appropriately. * Makefile.am (man_MANS, bin_PROGRAMS, bin_SCRIPTS): Only add @@ -6560,12 +6560,16 @@ $as_echo "no" >&6; } fi -if test "$enable_docs" == "yes"; then - if test "x${have_latex}${have_dvips}${have_ps2pdf}${have_latex2html}" != "xyesyesyesyes"; then +if test "x${have_latex}${have_dvips}${have_ps2pdf}${have_latex2html}" != "xyesyesyesyes"; then + if test "$enable_docs" == "yes"; then { { $as_echo "$as_me:$LINENO: error: cannot find all tools for building documentation" >&5 $as_echo "$as_me: error: cannot find all tools for building documentation" >&2;} { (exit 1); exit 1; }; } fi + if test "$enable_docs" == "check"; then + { $as_echo "$as_me:$LINENO: WARNING: will not build documentation, cannot find all tools" >&5 +$as_echo "$as_me: WARNING: will not build documentation, cannot find all tools" >&2;} + fi fi if test "x${have_latex}${have_dvips}${have_ps2pdf}${have_latex2html}" == "xyesyesyesyes" -a "$enable_docs" != "no"; then BUILD_DOCS_TRUE= diff --git a/configure.ac b/configure.ac index bf5b9d5d..95be829e 100644 --- a/configure.ac +++ b/configure.ac @@ -154,10 +154,13 @@ AC_CHECK_PROG(have_latex, latex, yes, no) AC_CHECK_PROG(have_dvips, dvips, yes, no) AC_CHECK_PROG(have_ps2pdf, ps2pdf, yes, no) AC_CHECK_PROG(have_latex2html, latex2html, yes, no) -if test "$enable_docs" == "yes"; then - if test "x${have_latex}${have_dvips}${have_ps2pdf}${have_latex2html}" != "xyesyesyesyes"; then +if test "x${have_latex}${have_dvips}${have_ps2pdf}${have_latex2html}" != "xyesyesyesyes"; then + if test "$enable_docs" == "yes"; then AC_MSG_ERROR([cannot find all tools for building documentation]) fi + if test "$enable_docs" == "check"; then + AC_MSG_WARN([will not build documentation, cannot find all tools]) + fi fi AM_CONDITIONAL([BUILD_DOCS], [test "x${have_latex}${have_dvips}${have_ps2pdf}${have_latex2html}" == "xyesyesyesyes" -a "$enable_docs" != "no"]) |