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

[Claudio Sacerdoti Coen]

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

[Mehdi Dogguy]

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

[Enrico Tassi]

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

[Mehdi Dogguy]

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