Bug#802264: src:matita: FTBFS with OCaml 4.02.3

[Mehdi Dogguy <mehdi@dogguy.org>]

Hi Enrico,

On 20/01/2016 11:15, Enrico Tassi wrote:
> On Sun, Oct 18, 2015 at 11:03:35PM +0200, Mehdi Dogguy wrote:
>> Package: src:matita
>> Version: 0.99.1-3
>> Severity: serious
>>
>> Dear Maintainer,
> 
> This bugs is due to camlp5 and fixed in
> caca3dd0643ec5aae9df4399fa73eb280808ef18
> 
> see https://gforge.inria.fr/projects/camlp5/
> 

Even using that fix, I get the following failure (while building matita):

  OCAMLC hExtlib.ml
File "hExtlib.ml", line 463, characters 10-23:
Warning 3: deprecated: String.create
Use Bytes.create instead.
File "hExtlib.ml", line 1:
Error: The implementation hExtlib.ml
       does not match the interface hExtlib.cmi:
       Values do not match:
         val find : ?test:(string -> bool) -> string -> string list
       is not included in
         val find : ?test:<hidden> -> string -> string list
       File "hExtlib.ml", line 530, characters 4-8: Actual declaration
../Makefile.common:99: recipe for target 'hExtlib.cmo' failed
make: *** [hExtlib.cmo] Error 2

Didn't you get that error?

-- 
Mehdi