Package: eprover Version: 1.0.004-1 Severity: serious From my pbuilder build log, passing --binary-arch on the command line (and the buildd logs are showing the same thing):
... # Add here commands to configure the package. cp -f /usr/share/misc/config.sub config.sub cp -f /usr/share/misc/config.guess config.guess #CFLAGS="-g -O2" ./configure --build x86_64-linux-gnu --prefix=/usr CFLAGS="-g -O2" ./configure --prefix=/usr Configuring with executable path /usr/bin make[1]: Entering directory `/tmp/buildd/eprover-1.0.004' make[1]: Nothing to be done for `config'. make[1]: Leaving directory `/tmp/buildd/eprover-1.0.004' dh_testdir /usr/bin/make -C DOC html make[1]: Entering directory `/tmp/buildd/eprover-1.0.004/DOC' mkdir -p html htlatex eprover.tex "xhtml,2,info,sections+,fn-in" unicode -d./html/ /bin/sh: htlatex: command not found make[1]: *** [html/eprover.html] Error 127 make[1]: Leaving directory `/tmp/buildd/eprover-1.0.004/DOC' make: *** [build-stamp-indep] Error 2 dpkg-buildpackage: failure: debian/rules build gave error exit status 2 -- Daniel Schepler -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
