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
