Source: proofgeneral
Version: 4.3~pre130510-1
Severity: serious
Tags: jessie sid
User: debian...@lists.debian.org
Usertags: qa-ftbfs-20140208 qa-ftbfs
Justification: FTBFS on amd64
Hi,
During a rebuild of all packages in sid, your package failed to build on
amd64.
Relevant part (hopefully):
> make[4]: Entering directory `/«PKGBUILDDIR»/doc'
> texi2pdf ProofGeneral.texi
> This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian)
> restricted \write18 enabled.
> entering extended mode
> (./ProofGeneral.texi (/usr/share/texmf/tex/texinfo/texinfo.tex
> Loading texinfo [version 2013-09-11.11]: pdf, fonts, markup, glyphs,
> page headings, tables, conditionals, indexing, sectioning, toc, environments,
> defuns, macros, cross references, insertions,
> (/usr/share/texlive/texmf-dist/tex/generic/epsf/epsf.tex
> This is `epsf.tex' v2.7.4 <14 February 2011>
> ) localization, formatting, and turning on texinfo input format.)
> <./ProofGener
> al-image.jpg> [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2]
> (Preface) Cross reference values unknown; you must run TeX again. [1] [2]
> Chapter 1 [3] [4] [5] [6] [7] Chapter 2 [8] [9] [10] [11] [12] [13] [14]
> [15] [16] [17]
> Underfull \hbox (badness 10000) in paragraph at lines 1683--1687
> []@textsl warning[]@textrm : this com-mand risks spoil-ing
> syn-chro-niza-tion
> if the test
> [18] Chapter 3 [19] [20] [21] [22] [23] [24] [25] Chapter 4 [26] [27] [28]
> [29] [30] Chapter 5 [31] [32] [33] [34] Chapter 6 [35] [36] Chapter 7 [37]
> [38] [39] Chapter 8 [40] [41] [42] [43] [44] [45]
> Underfull \hbox (badness 10000) in paragraph at lines 3654--3657
> []@textrm This op-tion is com-pat-i-ble with `@texttt
> proof-prog-name-ask[][]@
> textrm '[]. No ef-fect if
> [46] [47] [48] Chapter 9 [49] [50] [51] [52] Chapter 10 [53] [54] Chapter 11
> [55] [56] [57] [58] [59] [60]
> Underfull \hbox (badness 10000) in paragraph at lines 4656--4658
> []@textrm After the sub-sti-tu-tion the com-mand can be changed in the
> mini-bu
> f-fer if
>
> Underfull \hbox (badness 10000) in paragraph at lines 4666--4668
> []@textrm This op-tion can be set/reset via menu `@texttt Coq -> Settings ->
> C
> onfirm External
>
> kpathsea: Running mktextfm ecrm1095
> mkdir: cannot create directory '././sbuild-nonexistent': Permission denied
> mktextfm: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1; nonstopmode;
> input ecrm1095
> This is METAFONT, Version 2.718281 (TeX Live 2013/Debian)
>
> kpathsea: Running mktexmf ecrm1095
>
> ! I can't find file `ecrm1095'.
> <*> ...ljfour; mag:=1; nonstopmode; input ecrm1095
>
> Please type another input file name
> ! Emergency stop.
> <*> ...ljfour; mag:=1; nonstopmode; input ecrm1095
>
> Transcript written on mfput.log.
> grep: ecrm1095.log: No such file or directory
> mktextfm: `mf-nowin -progname=mf \mode:=ljfour; mag:=1; nonstopmode; input
> ecrm1095' failed to make ecrm1095.tfm.
> kpathsea: Appending font creation commands to missfont.log.
> [61] [62] [63] Chapter 12 [64] [65] [66]
> ./ProofGeneral.texi:5154: Font @thisecfont=ecrm1095 at 11.0pt not loadable:
> Met
> ric (TFM) file not found.
> <to be read again>
> @thisecfont
> @{->{@ifmonospace @else @ecfont
> @fi @char 123}
> l.5154 Inserts "@@@{
> text ""@}" (anti-quotation).
> ?
> ./ProofGeneral.texi:5154: Emergency stop.
> <to be read again>
> @thisecfont
> @{->{@ifmonospace @else @ecfont
> @fi @char 123}
> l.5154 Inserts "@@@{
> text ""@}" (anti-quotation).
> ./ProofGeneral.texi:5154: ==> Fatal error occurred, no output PDF file
> produce
> d!
> Transcript written on ProofGeneral.log.
> /usr/bin/texi2dvi: pdfetex exited with bad status, quitting.
> make[4]: *** [ProofGeneral.pdf] Error 1
The full build log is available from:
http://aws-logs.debian.net/ftbfs-logs/2014/02/08/proofgeneral_4.3~pre130510-1_unstable.log
A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!
About the archive rebuild: The rebuild was done on EC2 VM instances from
Amazon Web Services, using a clean, minimal and up-to-date chroot. Every
failed build was retried once to eliminate random failures.
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
