Package: coq Version: 8.1.pl1+dfsg-1 Severity: serious User: [EMAIL PROTECTED] Usertags: qa-ftbfs-20070905
hi, while doing an archive wide package rebuild your package failed to build from source for the following reason: > OCAMLLEX tools/gallina_lexer.mll > 151 states, 498 transitions, table size 2898 bytes > OCAMLLEX tools/coqwc.mll > 183 states, 833 transitions, table size 4430 bytes > OCAMLLEX tools/coqdoc/pretty.mll > 1110 states, 11338 transitions, table size 52012 bytes > OCAMLLEX tools/coqdoc/index.mll > 178 states, 5225 transitions, table size 21968 bytes > rm -f .depend.camlp4 > for f in tactics/tauto.ml4 tactics/eqdecide.ml4 tactics/extraargs.ml4 > tactics/extratactics.ml4 tactics/eauto.ml4 toplevel/whelp.ml4 > tactics/hipattern.ml4 contrib/omega/g_omega.ml4 contrib/romega/g_romega.ml4 > contrib/ring/g_quote.ml4 contrib/ring/g_ring.ml4 contrib/dp/g_dp.ml4 > contrib/setoid_ring/newring.ml4 contrib/field/field.ml4 > contrib/fourier/g_fourier.ml4 contrib/extraction/g_extraction.ml4 > contrib/xml/xmlentries.ml4 contrib/jprover/jprover.ml4 > contrib/cc/g_congruence.ml4 contrib/funind/tacinv.ml4 > contrib/first-order/g_ground.ml4 contrib/subtac/g_subtac.ml4 > contrib/subtac/g_eterm.ml4 contrib/rtauto/g_rtauto.ml4 > contrib/recdef/recdef.ml4 contrib/funind/indfun_main.ml4 > contrib/interface/debug_tac.ml4 contrib/interface/centaur.ml4 > parsing/lexer.ml4 parsing/pcoq.ml4 parsing/q_util.ml4 parsing/q_coqast.ml4 > parsing/g_prim.ml4 parsing/g_minicoq.ml4 parsing/g_vernac.ml4 > parsing/g_proofs.ml4 parsing/g_xml.ml4 parsing/g_constr.ml4 > parsing/g_tactic.ml4 parsing/g_ltac.ml4 parsing/argextend.ml4 > parsing/tacextend.ml4 parsing/vernacextend.ml4 parsing/q_constr.ml4 > parsing/g_decl_mode.ml4 toplevel/mltop.ml4 lib/pp.ml4 lib/compat.ml4 > contrib/xml/xml.ml4 contrib/xml/acic2Xml.ml4 contrib/xml/proofTree2Xml.ml4 > contrib/interface/line_parser.ml4 tools/coq_makefile.ml4 tools/coq-tex.ml4; > do \ > printf "%s" `dirname $f`/`basename $f .ml4`".ml: " >> .depend.camlp4; > \ > echo `sed -n -e 's|^(\*.*camlp4deps: "\(.*\)".*\*)|\1|p' $f` >> > .depend.camlp4; \ > done > OCAMLC lib/pp_control.mli > OCAMLC lib/pp_control.ml > camlp4o -I . pa_extend.cmo pa_extend_m.cmo q_MLast.cmo pa_ifdef.cmo pr_o.cmo > `sed -n -e 's|^(\*.*camlp4deps: "\(.*\)".*\*)|\1|p' lib/pp.ml4` -loc loc > -impl lib/pp.ml4 > lib/pp.ml || rm -f lib/pp.ml > /bin/sh: camlp4o: command not found > OCAMLC lib/pp.mli > OCAMLC lib/pp.ml > I/O error: lib/pp.ml: No such file or directory > make[1]: *** [lib/pp.cmo] Error 2 > make[1]: Leaving directory `/build/user/coq-8.1.pl1+dfsg' > make: *** [build-stamp] Error 2 The Full Build log is available and can be viewed at: http://people.debian.org/~lucas/logs/2007/09/05/ A list of current common problems and possible solutions may be available at http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute! bye, - michael