compiling Coq 8.2_p1-r1 fails when the documentation is being built. Without the "doc" useflag it compiles fine. Reproducible: Always Steps to Reproduce: 1. emerge -av coq Actual Results: Your version of coqtop seems OK (cd `dirname doc/refman/Classes.tex`; /var/tmp/portage/sci-mathematics/coq-8.2_p1-r1/work/coq-8.2pl1/bin/coq-tex -n 72 -image "/var/tmp/portage/sci-mathematics/coq-8.2_p1-r1/work/coq-8.2pl1/bin/coqtop -boot" -sl -small `basename doc/refman/Classes.tex`) Your version of coqtop seems OK pngtopnm doc/refman/coqide.png | pnmtops -equalpixels -noturn -rle > doc/refman/coqide.eps pngtopnm: fatal libpng error: Call to NULL read function pngtopnm: setjmp returns error condition pnmtops: Error reading magic number from Netpbm image stream. Most often, this means your input file is empty. make[1]: *** [doc/refman/coqide.eps] Error 1 make[1]: Leaving directory `/var/tmp/portage/sci-mathematics/coq-8.2_p1-r1/work/coq-8.2pl1' make: *** [world] Error 2 * ERROR: sci-mathematics/coq-8.2_p1-r1 failed: * make failed * * Call stack: * ebuild.sh, line 49: Called src_compile * environment, line 2275: Called die * The specific snippet of code: * emake STRIP="true" -j1 || die "make failed" * * If you need support, post the output of 'emerge --info =sci-mathematics/coq-8.2_p1-r1', * the complete build log and the output of 'emerge -pqv =sci-mathematics/coq-8.2_p1-r1'. * The complete build log is located at '/var/tmp/portage/sci-mathematics/coq-8.2_p1-r1/temp/build.log'. * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/coq-8.2_p1-r1/temp/environment'. * S: '/var/tmp/portage/sci-mathematics/coq-8.2_p1-r1/work/coq-8.2pl1' >>> Failed to emerge sci-mathematics/coq-8.2_p1-r1, Log file: >>> '/var/tmp/portage/sci-mathematics/coq-8.2_p1-r1/temp/build.log' Expected Results: Compile correctly.
(In reply to comment #0) > pngtopnm doc/refman/coqide.png [...] > pngtopnm: fatal libpng error: Call to NULL read function > pngtopnm: setjmp returns error condition please reproduce the error out of the build system and attach that png file.
(In reply to comment #1) > please reproduce the error out of the build system and attach that png file. OK, it turns out that pngtopnm (part of media-libs/netpbm-10.48.00) doesn't work on any png file (I tried a dozen or so random ones). I tried rebuilding it, but that didn't fix the problem. So this is not a coq ebuild bug, but a netpbm bug. Someone reported this bug already as bug #287725: http://bugs.gentoo.org/show_bug.cgi?id=287725