On Mon, 31 Mar 2025, Andreas Schwab wrote:
> On Mär 31 2025, Richard Biener wrote:
>
> > Do we even install libffi.info?
>
> We shouldn't. It would conflict with the standalone libffi library, and
> we don't install anything from the target libffi library anyway (it's
> only used internally).
Indeed.
target_modules = { module= libffi; no_install=true;
extra_configure_flags='--disable-shared --with-pic'; };
It looks like the docs are only built when makeinfo is modern:
# See if makeinfo has been installed and is modern enough
# that we can use it.
ACX_CHECK_PROG_VER([MAKEINFO], [makeinfo], [--version],
[GNU texinfo.* \([0-9][0-9.]*\)],
[4.[4-9]*|4.[1-9][0-9]*|[5-9]*|[1-9][0-9]*])
AM_CONDITIONAL(BUILD_DOCS, test $gcc_cv_prog_makeinfo_modern = "yes")
so without makeinfo the build might not fail w/o the generated file.
Richard.
