Package: coq version: 8.1.pl2+dfsg-3 User: [EMAIL PROTECTED] Usertags: qa-ftbfs-dash-20080103 qa-ftbfs-dash
Hi, During a rebuild of all packages in sid using /bin/dash as /bin/sh, your package failed to build. Relevant part: > OCAMLC pretyping/pretyping.mli > OCAMLC pretyping/pretyping.ml > OCAMLC pretyping/matching.mli > OCAMLC pretyping/matching.ml > OCAMLC -a -o pretyping/pretyping.cma > OCAMLC parsing/lexer.mli > OCAMLC4 parsing/lexer.ml4 > OCAMLC interp/topconstr.ml > OCAMLC interp/ppextend.mli > OCAMLC interp/ppextend.ml > OCAMLC interp/notation.mli > OCAMLC interp/notation.ml > OCAMLC interp/genarg.ml > OCAMLC interp/syntax_def.mli > OCAMLC interp/syntax_def.ml > OCAMLC interp/reserve.mli > OCAMLC interp/reserve.ml > OCAMLC library/impargs.mli > OCAMLC library/impargs.ml > OCAMLC interp/constrintern.mli > OCAMLC interp/constrintern.ml > OCAMLC interp/modintern.mli > OCAMLC interp/modintern.ml > OCAMLC interp/constrextern.mli > OCAMLC interp/constrextern.ml > OCAMLC interp/coqlib.mli > OCAMLC interp/coqlib.ml > OCAMLC toplevel/discharge.mli > OCAMLC toplevel/discharge.ml > OCAMLC library/declare.mli > OCAMLC library/declare.ml > OCAMLC -a -o interp/interp.cma > OCAMLC proofs/decl_expr.mli > OCAMLC proofs/proof_type.mli > OCAMLC proofs/proof_type.ml > OCAMLC proofs/redexpr.mli > OCAMLC proofs/redexpr.ml > OCAMLC proofs/proof_trees.mli > OCAMLC proofs/proof_trees.ml > OCAMLC proofs/logic.mli > OCAMLC proofs/logic.ml > OCAMLC proofs/refiner.mli > OCAMLC proofs/refiner.ml > OCAMLC proofs/evar_refiner.mli > OCAMLC proofs/evar_refiner.ml > OCAMLC proofs/tacmach.mli > OCAMLC proofs/tacmach.ml > OCAMLC proofs/pfedit.mli > OCAMLC proofs/pfedit.ml > OCAMLC proofs/tactic_debug.mli > OCAMLC proofs/tactic_debug.ml > OCAMLC proofs/clenvtac.mli > OCAMLC proofs/clenvtac.ml > OCAMLC proofs/decl_mode.mli > OCAMLC proofs/decl_mode.ml > OCAMLC -a -o proofs/proofs.cma > OCAMLC parsing/extend.mli > OCAMLC parsing/extend.ml > OCAMLC toplevel/vernacexpr.ml > OCAMLC parsing/pcoq.mli > OCAMLC4 parsing/pcoq.ml4 > OCAMLC parsing/egrammar.mli > OCAMLC parsing/egrammar.ml > OCAMLC4 parsing/g_xml.ml4 > OCAMLC parsing/ppconstr.mli > OCAMLC parsing/ppconstr.ml > OCAMLC parsing/printer.mli > OCAMLC parsing/printer.ml > OCAMLC parsing/pptactic.mli > OCAMLC -rectypes parsing/pptactic.ml > OCAMLC parsing/ppdecl_proof.mli > OCAMLC parsing/ppdecl_proof.ml > OCAMLC parsing/tactic_printer.mli > OCAMLC parsing/tactic_printer.ml > OCAMLC parsing/printmod.mli > OCAMLC parsing/printmod.ml > OCAMLC parsing/prettyp.mli > OCAMLC parsing/prettyp.ml > OCAMLC parsing/search.mli > OCAMLC parsing/search.ml > OCAMLC -a -o parsing/parsing.cma > OCAMLC tactics/dn.mli > OCAMLC tactics/dn.ml > OCAMLC tactics/termdn.mli > OCAMLC tactics/termdn.ml > OCAMLC tactics/btermdn.mli > OCAMLC tactics/btermdn.ml > OCAMLC tactics/nbtermdn.mli > OCAMLC tactics/nbtermdn.ml > OCAMLC tactics/tacticals.mli > OCAMLC tactics/tacticals.ml > OCAMLC tactics/hipattern.mli > OCAMLC4 tactics/hipattern.ml4 > Error while loading "parsing/q_constr.cmo": file not found in path. > Preprocessor error > make[2]: *** [tactics/hipattern.cmo] Error 2 > make[2]: Leaving directory `/build/user/coq-8.1.pl2+dfsg' > make[1]: *** [world] Error 2 > make[1]: Leaving directory `/build/user/coq-8.1.pl2+dfsg' > make: *** [build-stamp] Error 2 > dpkg-buildpackage: failure: debian/rules build gave error exit status 2 The full build log is available from: http://people.debian.org/~lucas/logs/2008/01/03.dash/ Rumors say that Ubuntu is using dash as /bin/sh on their buildds, so a patch might be available. Check <http://packages.qa.debian.org/coq>, or directly on launchpad: <https://launchpad.net/ubuntu/+source/coq>. 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! -- | Lucas Nussbaum | [EMAIL PROTECTED] http://www.lucas-nussbaum.net/ | | jabber: [EMAIL PROTECTED] GPG: 1024D/023B3F4F | -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]