Bug#731702: matita: FTBFS with ocaml 4.01.0

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

Source: matita
Version: 0.99.1-2
Severity: serious
Tags: jessie sid
Control: block 718767 with -1

Hi,

opam FTBFS when binNMUed against ocaml 4.01.0.

From the armhf build log:
>     		--with-dbhost=FAKE_HOST
> checking for ocamlc... yes
> checking for ocamlopt... yes
> checking for ocamlfind... yes
> checking for lablgladecc2... yes
> checking for camlp5o... yes
> creating METAs ... done
> checking for expat ocaml library... yes
> checking for gdome2 ocaml library... yes
> checking for http ocaml library... yes
> checking for lablgtk2 ocaml library... yes
> configure: error: could not find lablgtksourceview2.gtksourceview2 ocaml library
> make[1]: *** [override_dh_auto_configure] Error 2
> checking for lablgtksourceview2.gtksourceview2 ocaml library... make[1]: Leaving directory `/«PKGBUILDDIR»'
> make: *** [build-arch] Error 2

Full build logs available via:

  https://buildd.debian.org/status/package.php?p=matita&suite=sid

Cheers,

-- 
Stéphane