Bug#441502: coq - FTBFS: /bin/sh: camlp4o: command not found
Package: coq
Version: 8.1.pl1+dfsg-1
Severity: serious
User: debian-qa@lists.debian.org
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
Reply to: