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

[Mehdi Dogguy <mehdi@dogguy.org>]

retitle 571435 inconsistent assumptions over implementation GdomeInit
thanks

Lucas Nussbaum wrote:
> Source: matita
> Version: 0.5.8-2
> Severity: serious
> User: debian-qa@lists.debian.org
> Usertags: qa-ftbfs-20100224 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[4]: Entering directory `/build/user-matita_0.5.8-2-amd64-xFI9bS/matita-0.5.8/components/extlib'
>> make[4]: -query: Command not found
>> /bin/sh: query: not found
>> /bin/sh: query: not found
>> /bin/sh: query: not found
>> make[4]: *** No rule to make target `../../Makefile.defs'.
>> make[4]: Failed to remake makefile `../../Makefile.defs'.
>> rm -f *.cm[ioax] *.cmxa *.o *.a *.annot 
>> if [ -f test ]; then rm -f test; else true; fi
>> if [ -f test.opt ]; then rm -f test.opt; else true; fi
>> make[3]: *** [rec@clean@extlib] Error 2
> 

I think that the relevant part is rather:

  OCAMLOPT matita.ml
File "matita.ml", line 1, characters 0-1:
Error: Files /usr/lib/ocaml/lablgtkmathview/lablgtkmathview.cmxa
       and /usr/lib/ocaml/gdome2/gdomeInit.cmx
       make inconsistent assumptions over implementation GdomeInit
make[2]: *** [matita.opt] Error 2

Regards

-- 
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/