Bug#802264: src:matita: FTBFS with OCaml 4.02.3
Hi Claudio, On 25/01/2016 20:54, Claudio Sacerdoti Coen wrote: > Dear Mehdi, > > the most recent camlp5 version in git seems to fix enough bugs to let Thanks for handling this with camlp5's upstream. I can confirm it builds fine with latest two fixes in camlp5. I'll prepare fixed packages now and will upload shortly. > the version of matita in Debian compile. > Is there any more recent version to take into account? For now, we have matita 0.99.1. What is the status of the project? Kind regards, -- Mehdi
Bug#802264: src:matita: FTBFS with OCaml 4.02.3
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: -> 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
Bug#802264: src:matita: FTBFS with OCaml 4.02.3
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: -> 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
Bug#802264: src:matita: FTBFS with OCaml 4.02.3
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: -> 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
Bug#802264: src:matita: FTBFS with OCaml 4.02.3
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/ Best, -- Enrico Tassi
Bug#802264: src:matita: FTBFS with OCaml 4.02.3
Package: src:matita Version: 0.99.1-3 Severity: serious Dear Maintainer, Your package fails to build from source. Here is an excerpt from the build log: OCAMLOPT nCic.ml File "nCic.ml", line 142, characters 11-460: Error: This class type should be virtual. The following variables are undefined : ppterm ppsubst ppobj ppmetasenv ppcontext ../Makefile.common:102: recipe for target 'nCic.cmx' failed make[3]: *** [nCic.cmx] Error 2 A full build log is attached. Regards, -- Mehdi -> Copying COW directory forking: rm -rf /var/cache/pbuilder/build//cow.12549 forking: cp -al /var/cache/pbuilder/cows/unstable-amd64/ /var/cache/pbuilder/build//cow.12549 I: removed stale ilistfile /var/cache/pbuilder/build//cow.12549/.ilist forking: chroot /var/cache/pbuilder/build//cow.12549 cowdancer-ilistcreate /.ilist find . -xdev -path ./home -prune -o \( \( -type l -o -type f \) -a -links +1 -print0 \) | xargs -0 stat --format '%d %i ' -> Invoking pbuilder forking: pbuilder build --buildplace /var/cache/pbuilder/build//cow.12549 --buildresult /var/cache/pbuilder/result/unstable-amd64 --debbuildopts --no-targz --internal-chrootexec chroot /var/cache/pbuilder/build//cow.12549 cow-shell /tmp/tmp.xoIxvDvlsS/matita_0.99.1-3.dsc I: Running in no-targz mode I: using fakeroot in build. I: pbuilder: network access will be disabled during build I: Current time: Sun Oct 18 22:53:33 CEST 2015 I: pbuilder-time-stamp: 1445201613 I: copying local configuration I: mounting /proc filesystem I: mounting /run/shm filesystem I: mounting /dev/pts filesystem I: Mounting /var/cache/pbuilder/result/ I: policy-rc.d already exists I: Obtaining the cached apt archive contents I: Installing the build-deps W: execute priv not set on file D09custompool, not executing. I: user script /var/cache/pbuilder/build/cow.12549/tmp/hooks/D10aptupdate starting Get:1 http://incoming.debian.org buildd-unstable InRelease [111 kB] Get:2 http://incoming.debian.org buildd-unstable/main amd64 Packages [128 kB] Get:3 http://http.debian.net unstable InRelease [250 kB] Get:4 http://incoming.debian.org buildd-unstable/contrib amd64 Packages [500 B] Get:5 http://incoming.debian.org buildd-unstable/non-free amd64 Packages [1828 B] Get:6 http://incoming.debian.org buildd-unstable/contrib Translation-en [402 B] Get:7 http://incoming.debian.org buildd-unstable/main Translation-en [109 kB] Get:8 http://http.debian.net unstable/main amd64 Packages/DiffIndex [7876 B] Get:9 http://incoming.debian.org buildd-unstable/non-free Translation-en [2546 B] Get:10 http://http.debian.net unstable/main Translation-en/DiffIndex [7876 B] Get:11 http://http.debian.net unstable/main amd64 2015-10-18-1440.19.pdiff [13.4 kB] Get:12 http://http.debian.net unstable/main amd64 2015-10-18-1440.19.pdiff [13.4 kB] Get:13 http://http.debian.net unstable/main 2015-10-18-1440.19.pdiff [2025 B] Get:14 http://http.debian.net unstable/main 2015-10-18-1440.19.pdiff [2025 B] Fetched 635 kB in 3s (191 kB/s) Reading package lists... Done I: user script /var/cache/pbuilder/build/cow.12549/tmp/hooks/D10aptupdate finished I: user script /var/cache/pbuilder/build/cow.12549/tmp/hooks/D11unsafeio starting Setting force-unsafe-io for dpkg I: user script /var/cache/pbuilder/build/cow.12549/tmp/hooks/D11unsafeio finished W: execute priv not set on file D12aptupgrade, not executing. -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: amd64 Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: ocaml (>= 3.10.2), ocaml-findlib (>= 1.2.1-2), libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex08 (>= 0.8-4), libexpat-ocaml-dev, debhelper (>= 8), camlp5 (>= 5.04), liblablgtksourceview2-ocaml-dev, autoconf, help2man dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 12072 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on ocaml (>= 3.10.2); however: Package ocaml is not installed. pbuilder-satisfydepends-dummy depends on ocaml-findlib (>= 1.2.1-2); however: Package ocaml-findlib is not installed. pbuilder-satisfydepends-dummy depends on libgdome2-ocaml-dev; however: Package libgdome2-ocaml-dev is not installed. pbuilder-satisfydepends-du