Re: Bug#571435: matita: FTBFS: /bin/sh: query: not found
reassign 571435 release.debian.org
retitle 571435 BinNMU lablgtkmathview and matita on all arches
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: *** [matita.opt] Error 2
It seems 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
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.
Mehdi Dogguy مهدي الدڤي