if --enable-manual is not no then makeinfo must be present
with latest stable ecl-20.4.24, ../configure
requires makeinfo
installed.
See https://trac.sagemath.org/ticket/22191
for details.
$ which makeinfo
$ ../configure
checking build system type... x86_64-unknown-linux-gnu
checking host system type... x86_64-unknown-linux-gnu
checking for gcc... gcc
checking whether the C compiler works... yes
[...]
checking for required libraries... -ldl -lm
checking for architecture... X86_64
checking for software type... linux /
checking for install-info... no
checking for makeinfo... no
configure: error: Unable to build the manual: makeinfo not found.
The expected behaviour is that the configure finished normally, and sets
enable_manual
to no
.
There is a coding error in configure.ac
that leads to this. Namely,
if install-info
is not found, then we set enable_manual=no
, but
still check for makefinfo
, and if it fails then it leads to the error, as
enable_manual
is no longer "auto"
.
if test "${enable_manual}" != "no"; then
AC_PATH_PROG([INSTALL_INFO], [install-info], [])
if test "x${INSTALL_INFO}" = "x"; then
if test "${enable_manual}" = "auto"; then
enable_manual=no
elif test "${enable_manual}" = "info"; then
AC_MSG_ERROR([Unable to build the manual: install-info not found.])
fi
fi
AC_PATH_PROG([MAKEINFO], [makeinfo], [])
if test "x${MAKEINFO}" = "x"; then
if test "${enable_manual}" = "auto"; then
enable_manual=no
else
AC_MSG_ERROR([Unable to build the manual: makeinfo not found.])
fi
fi
fi
I'll post a PR to fix this later today.