Bug#569391: matita: FTBFS: /bin/sh: query: not found

[Stéphane Glondu <glondu@debian.org>]

reassign 569391 libgdome2-ocaml-dev
retitle 569391 libgdome2-ocaml-dev: misses dependency on ocaml-nox-$ABI
affects 569391 src:matita
thanks

Lucas Nussbaum a écrit :
> Relevant part: [...]

I think the relevant part is rather:
>   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/user-matita_0.5.8-2-amd64-vFe0Ps/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/expat/expat.cmxa and /usr/lib/ocaml/stdlib.cmxa
>        make inconsistent assumptions over implementation Callback

This bug, similarly to #569267, is due to missing dependencies in
build-dependencies, that allowed this build to take place even though it
shouldn't. The build log mentions libexpat-ocaml-dev, which has been
fixed, but (at least) libgdome2-ocaml-dev misses a dependency to
ocaml-nox-$ABI


-- 
Stéphane