Bug#459050: coq: FTBFS with dash: Error while loading "parsing/q_constr.cmo": file not found in path.
Package: coq
version: 8.1.pl2+dfsg-3
User: debian-qa@lists.debian.org
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
| lucas@lucas-nussbaum.net http://www.lucas-nussbaum.net/ |
| jabber: lucas@nussbaum.fr GPG: 1024D/023B3F4F |
Reply to: