[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: