This is the mail archive of the
binutils@sourceware.org
mailing list for the binutils project.
Re: [PATCH] Docs: Prevent build failures when "makeinfo" is missing
- From: Nick Clifton <nickc at redhat dot com>
- To: Cupertino Miranda <Cupertino dot Miranda at synopsys dot com>, Vlad Zakharov <Vladislav dot Zakharov at synopsys dot com>, "binutils at sourceware dot org" <binutils at sourceware dot org>
- Cc: Alexey Brodkin <Alexey dot Brodkin at synopsys dot com>, Anton Kolesov <Anton dot Kolesov at synopsys dot com>, Claudiu Zissulescu <Claudiu dot Zissulescu at synopsys dot com>
- Date: Tue, 14 Jun 2016 13:36:27 +0100
- Subject: Re: [PATCH] Docs: Prevent build failures when "makeinfo" is missing
- Authentication-results: sourceware.org; auth=none
- References: <1465213378-24891-1-git-send-email-vzakhar at synopsys dot com> <EB86EB452ADE4B44B294F7149B8A2777021CF6F6 at DE02WEMBXB dot internal dot synopsys dot com>
Hi Vlad, Hi Cupertino,
> The patch is not OK considering that it is changing generated files.
Plus if the user really does want to generate the info files, but they
do not have makeinfo installed, then "make info" is going to fail to
build them but still claim success.
> Nevertheless, it appears that binutils has a hard requirement on makeinfo.
> When used without makeinfo, it prints this message:
>
> WARNING: 'makeinfo' is missing on your system.
It is more of a hard/soft requirement. The problem is timestamps.
If the timestamps on the *.info files in the sources are newer than
the corresponding *.texi/*.texinfo files then makeinfo is not needed.
Most of the time this will be the case. But, if you have a new set of
sources, say because you have just downloaded a source tarball, or checked
out a branch from the repository, then the timestamps of the info and texi
files are likely to be the same. This will cause the makefile to decide
that the info files need to be regenerated and hence makeinfo will be
needed. This happens even if the info files are in fact up to date and
do not need regenerating.
Cheers
Nick