Bug#666594: matita: FTBFS: Error: Unbound constructor Stdpp.Exc_located
Source: matita
Version: 0.5.8-3
Severity: serious
Tags: wheezy sid
User: debian-qa@lists.debian.org
Usertags: qa-ftbfs-20120331 qa-ftbfs
Justification: FTBFS on amd64
Hi,
During a rebuild of all packages in sid, your package failed to build on
amd64.
Relevant part:
> make[3]: Entering directory `/«PKGBUILDDIR»/components/content_pres'
> OCAMLC renderingAttrs.mli
> OCAMLOPT renderingAttrs.ml
> OCAMLC cicNotationLexer.mli
> OCAMLOPT cicNotationLexer.ml
> OCAMLC cicNotationParser.mli
> OCAMLOPT cicNotationParser.ml
> Characters 29868-29910:
> Error: Unbound constructor Stdpp.Exc_located
> make[3]: *** [cicNotationParser.cmx] Error 2
The full build log is available from:
http://people.debian.org/~lucas/logs/2012/03/31/matita_0.5.8-3_unstable.log
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!
About the archive rebuild: The rebuild was done on about 50 AMD64 nodes
of the Grid'5000 platform, using a clean chroot. Internet was not
accessible from the build systems.
Reply to: