Dear Mehdi, the most recent camlp5 version in git seems to fix enough bugs to let the version of matita in Debian compile.
Fingers crossed, C.S.C. On Fri, 2016-01-22 at 15:06 +0100, Claudio Sacerdoti Coen wrote: > Hi, > > this is another bug in camlp5. To trigger it it is sufficient to > compile with ocamlc -pp camlp5o the two following files: > > bug.mli: > val find: ?test:string -> unit > > bug.ml: > let find ?(test = "hello") = assert false > > Therefore the bug needs to be re-assigned to camlp5. > > I will now contact Daniel for another round of bug-fixing. > > Cheers, > C.S.C. > > On Wed, 2016-01-20 at 21:23 +0100, Mehdi Dogguy wrote: > > 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? > > -- ---------------------------------------------------------------- Prof. Claudio Sacerdoti Coen Doctor in Computer Science, University of Bologna E-mail: clauio.sacerdotic...@unibo.it http://www.cs.unibo.it/~sacerdot ----------------------------------------------------------------
