retitle 571435 inconsistent assumptions over implementation GdomeInit
thanks
Lucas Nussbaum wrote:
> Source: matita
> Version: 0.5.8-2
> Severity: serious
> User: debian...@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]: *** [...@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/
--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
