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

[Mehdi Dogguy <mehdi@dogguy.org>]

reassign 571435 release.debian.org
retitle 571435 BinNMU lablgtkmathview and matita on all arches
thanks

Mehdi Dogguy wrote:
> 
> 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
> 

It seems[1] that lablgtkmathview has been compiled with gmetadom 0.2.6-4,
which is known to have broken dependencies (built with ocaml 3.11.1).
gmetadom 0.2.6-5 fixed the dependencies and was rebuilt with ocaml 3.11.2
but lablgtkmathview should have been rescheduled for build using that new
version.

Rebuilding lablgtkmathview with gmetadom 0.2.6-5 and then matita with the
newly built lablgtkmathview should fix the problem.

Thus, I'm reassigning this bug to release.debian.org and I'm asking
binNMUs (CC'ing the release team) for the faulty packages:

nmu lablgtkmathview_0.7.8-5 . ALL . -m "Recompile with gmetadom 0.2.6-5"
dw lablgtkmathview_0.7.8-5 . ALL . -m 'libgdome2-ocaml-dev (>= 0.2.6-5)'
nmu matita_0.5.8-2 . ALL . -m "Recompile with lablgtkmathview 0.7.8-5+b3"
dw matita_0.5.8-2 . ALL . -m "liblablgtkmathview-ocaml-dev (>=
0.7.8-5+b3), libgdome2-ocaml-dev (>= 0.2.6-5)"

(Hope the syntax is correct)

This will be the last step to finish the OCaml transition.

[1]
https://buildd.debian.org/fetch.cgi?&pkg=lablgtkmathview&ver=0.7.8-5%2Bb2&arch=amd64&stamp=1265762538&file=log

Regards

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