Bug#812178: FTBFS: The implementation hExtlib.ml does not match the interface hExtlib.cmi

[Mehdi Dogguy <mehdi@dogguy.org>]

Control: reassign 812178 camlp5
Control: severity 812178 important
Control: found 812178 camlp5/6.14-1
Control: fixed 812178 camlp5/6.14-2

On 21/01/2016 09:25, Mehdi Dogguy wrote:
> Trying to build matita with a fixed camlp5 package that includes upstream
> fix (caca3dd0643ec5aae9df4399fa73eb280808ef18) fails with the following
> error:
> 
>   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
> 
> I have to admit that the error is quite strange and the cause might not
> be a bug in matita but elsewhere. I am assigning the bug to matita as
> it is the only package affected by this and until the root cause is
> correctly identified.
> 

Bug found and fixed in camlp5. Thus, reassigning to the correct package.

-- 
Mehdi