Bug#642730: matita: FTBFS: Error: Files /usr/lib/ocaml/http/http_mt.cmxa and /usr/lib/ocaml/netstring/netstring.cmxa make inconsistent assumptions over interface Neturl
Source: matita
Version: 0.5.8-3
Severity: serious
Tags: wheezy sid
User: debian-qa@lists.debian.org
Usertags: qa-ftbfs-20110923 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 `/build/matita-HsW2sE/matita-0.5.8/components/ng_library'
> OCAMLC nCic2OCic.mli
> OCAMLOPT nCic2OCic.ml
> OCAMLC oCic2NCic.mli
> OCAMLOPT oCic2NCic.ml
> OCAMLC nCicLibrary.mli
> OCAMLOPT nCicLibrary.ml
> OCAMLOPT -a ng_library.cmxa
> OCAMLPATH=/build/matita-HsW2sE/matita-0.5.8/components/METAS ocamlfind opt -package "helm-ng_refiner helm-ng_cic_content helm-ng_disambiguation helm-ng_paramodulation" -predicates "" -thread -rectypes -pp camlp5o -package helm-ng_library -linkpkg -o rt.opt rt.ml
> File "rt.ml", line 1, characters 0-1:
> Error: Files /usr/lib/ocaml/http/http_mt.cmxa
> and /usr/lib/ocaml/netstring/netstring.cmxa
> make inconsistent assumptions over interface Neturl
> make[3]: *** [rt.opt] Error 2
The full build log is available from:
http://people.debian.org/~lucas/logs/2011/09/23/matita_0.5.8-3_lsid64.buildlog
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: