diff options
| author | Glenn Morris | 2008-05-03 20:16:15 +0000 |
|---|---|---|
| committer | Glenn Morris | 2008-05-03 20:16:15 +0000 |
| commit | 4c18f8b45c81f17023dd2f5e99850dfde73ab047 (patch) | |
| tree | 800a8fcf93a81416e69d800444701a105e943ed4 | |
| parent | 175aea10f7d01f138993539274cd71ddf75a0b48 (diff) | |
| download | emacs-4c18f8b45c81f17023dd2f5e99850dfde73ab047.tar.gz emacs-4c18f8b45c81f17023dd2f5e99850dfde73ab047.zip | |
(--without-makeinfo): New option. If set, absence of suitable
makeinfo is not a fatal error.
| -rw-r--r-- | configure.in | 23 |
1 files changed, 20 insertions, 3 deletions
diff --git a/configure.in b/configure.in index 6e128a1bd9b..bbaca559148 100644 --- a/configure.in +++ b/configure.in | |||
| @@ -148,6 +148,11 @@ OPTION_DEFAULT_OFF([carbon],[use Carbon GUI on Mac OS X. This is unsupported!]) | |||
| 148 | OPTION_DEFAULT_ON([gpm],[don't use -lgpm for mouse support on a GNU/Linux console]) | 148 | OPTION_DEFAULT_ON([gpm],[don't use -lgpm for mouse support on a GNU/Linux console]) |
| 149 | OPTION_DEFAULT_ON([dbus],[don't compile with D-Bus support]) | 149 | OPTION_DEFAULT_ON([dbus],[don't compile with D-Bus support]) |
| 150 | 150 | ||
| 151 | ## For the times when you want to build Emacs but don't have | ||
| 152 | ## a suitable makeinfo, and can live without the manuals. | ||
| 153 | dnl http://lists.gnu.org/archive/html/emacs-devel/2008-04/msg01844.html | ||
| 154 | OPTION_DEFAULT_ON([makeinfo],[don't require makeinfo for building manuals]) | ||
| 155 | |||
| 151 | dnl Can remove these in Emacs 24. | 156 | dnl Can remove these in Emacs 24. |
| 152 | AC_ARG_WITH([gtk],, | 157 | AC_ARG_WITH([gtk],, |
| 153 | AC_MSG_ERROR([--with-gtk has been removed. Use --with-x-toolkit to | 158 | AC_MSG_ERROR([--with-gtk has been removed. Use --with-x-toolkit to |
| @@ -891,10 +896,22 @@ if test "$MAKEINFO" != "no" && \ | |||
| 891 | MAKEINFO=no | 896 | MAKEINFO=no |
| 892 | fi | 897 | fi |
| 893 | 898 | ||
| 894 | if test "$MAKEINFO" = "no"; then | 899 | if test "$MAKEINFO" = "no" && test "x${with_makeinfo}" != "xno"; then |
| 895 | AC_MSG_ERROR( [makeinfo >= 4.6 is required] ) | 900 | |
| 896 | fi | 901 | if test -e $srcdir/info/emacs; then |
| 902 | gotinfo="seems" | ||
| 903 | else | ||
| 904 | gotinfo="does NOT seem" | ||
| 905 | fi | ||
| 906 | |||
| 907 | AC_MSG_ERROR( [You do not seem to have makeinfo >= 4.6. | ||
| 908 | You will not be able to build the Emacs manuals. | ||
| 909 | In Emacs releases, they are prebuilt, so this might not be a problem. | ||
| 910 | Your source tree $gotinfo to have manuals in the `info' directory. | ||
| 911 | Either install a suitable version of makeinfo, or re-run configure | ||
| 912 | with the `--without-makeinfo' option.] ) | ||
| 897 | 913 | ||
| 914 | fi | ||
| 898 | 915 | ||
| 899 | dnl Add our options to ac_link now, after it is set up. | 916 | dnl Add our options to ac_link now, after it is set up. |
| 900 | 917 | ||