This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Gcc mainline failed to build with texinfo 4.6
On Mon, 5 Jul 2004, Mark Mitchell wrote:
> Bryce McKinlay wrote:
>
> > Most current linux distributions still ship TexInfo 4.5 or 4.6. Fedora
> > core 2, for example, only has 4.6. Is this small change worth the
> > hassle for everyone to manually update their TexInfo? Unless this is a
> > compelling/essential feature that we really need, I'd prefer if we
> > could maintain the version requirement as-is, until current OS's have
> > caught up.
>
> Me too.
What then would you like as the fix or workaround for the onlinedocs
generation breakage (which will become immediately visible on the 15th)?
Renaming the section to an uglier title? Downgrading texinfo on
gcc.gnu.org? Note that the upgrade of gcc.gnu.org to 4.7 which showed up
this problem was itself to fix a bug (bug 15263).
I don't suppose distributions have really got so much slower at updating
their Texinfo that they did it within one day of release as of
<http://gcc.gnu.org/ml/gcc-patches/2002-03/msg00204.html>.
Of necessity we don't have a specific current distributions requirement
for autoconf and automake where the requirements are for exactly version X
rather than at least version X. Texinfo is at least compatible enough
that the requirements can be of the form "at least version X" and special
old versions (forked old versions in the case of automake 1.4-gcj) aren't
needed.
Of course ideally wide ranges of versions of all tools would be supported,
and distribution-shipped versions are convenient, but by carefully
selecting the distributions with the longest release cycles and oldest
current releases it would be possible to argue against allowing Texinfo
4.2.
There have been times when no FSF-released version of GDB worked to debug
CVS GCC-generated code and CVS or prerelease versions of GDB were
necessary for that purpose.
--
Joseph S. Myers http://www.srcf.ucam.org/~jsm28/gcc/
jsm@polyomino.org.uk (personal mail)
jsm28@gcc.gnu.org (Bugzilla assignments and CCs)