Bug#889631: mpfr 4.0 branch fails to build with recent tex
On 2018-02-05 08:45:00 +0100, Matthias Klose wrote:
> Trying to build the 4.0.0 release candidate 2 in Debian unstable,
> the package fails to build the documentation:
>
> texlive is version 2017.20180110-1.
If I try to build the PDF manually (make pdf), I can't reproduce the
problem.
> /usr/bin/make -C build pdf info html
> make[1]: Entering directory '/home/packages/gcc/mpfr/mpfr4-4.0.1~rc2/build'
> Making pdf in doc
> make[2]: Entering directory '/home/packages/gcc/mpfr/mpfr4-4.0.1~rc2/build/doc'
> TEXINPUTS="../../doc:$TEXINPUTS" \
> MAKEINFO='/bin/bash /home/packages/gcc/mpfr/mpfr4-4.0.1~rc2/missing makeinfo
> --enable-encoding -I ../../doc' \
> texi2dvi --pdf --batch --build-dir=mpfr.t2p -o mpfr.pdf \
> ../../doc/mpfr.texi
> This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian) (preloaded
> format=pdfetex)
> restricted \write18 enabled.
> entering extended mode
>
> (../../../.././../../doc/mpfr.texi
> (/home/packages/gcc/mpfr/mpfr4-4.0.1~rc2/doc/texinfo.tex
> Loading texinfo [version 2013-02-01.11]: pdf, fonts, markup, glyphs,
^^^^^^^^^^^^^
This is strange. It should be:
Loading texinfo [version 2018-01-09.11]: pdf, fonts, markup, glyphs,
Don't the Debian tools corrupt the MPFR archive with an older texinfo
version?
FYI, the version used by MPFR 4 is the one from:
https://ftp.gnu.org/gnu/texinfo/
i.e.
https://ftp.gnu.org/gnu/texinfo/texinfo.tex
https://ftp.gnu.org/gnu/texinfo/texinfo.tex.sig
--
Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
Reply to: