Bug#731702: matita: FTBFS with ocaml 4.01.0
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
Reply to: