[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#441507: Bug#441502: coq - FTBFS: /bin/sh: camlp4o: command not found



On Mon, Sep 10, 2007 at 09:48:54AM +0200, Michael Ablassmeier wrote:
> Package: coq
> Version: 8.1.pl1+dfsg-1
> Severity: serious
> User: debian-qa@lists.debian.org
> Usertags: qa-ftbfs-20070905

On Mon, Sep 10, 2007 at 09:49:05AM +0200, Michael Ablassmeier wrote:
> Package: ocaml-sqlite3
> Version: 0.21.0-1
> Severity: serious
> User: debian-qa@lists.debian.org
> Usertags: qa-ftbfs-20070905

On Mon, Sep 10, 2007 at 09:49:09AM +0200, Michael Ablassmeier wrote:
> Package: planets
> Version: 0.1.13-1
> Severity: serious
> User: debian-qa@lists.debian.org
> Usertags: qa-ftbfs-20070905

All these bugs are due to the fact that the "/usr/bin/camlp4o"
executable is no longer shipped by "ocaml-nox", but rather by "camlp4".
Hence you now need to build depend on the "camlp4" package. Please note
that if you use some more advanced camlp4 bundle executable (like, for
example, "/usr/bin/camlp4orf") then you will also need to build-depend
on "camlp4-extra" which ships it.

Cheers.

-- 
Stefano Zacchiroli -*- PhD in Computer Science ............... now what?
zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
(15:56:48)  Zack: e la demo dema ?    /\    All one has to do is hit the
(15:57:15)  Bac: no, la demo scema    \/    right keys at the right time

Attachment: signature.asc
Description: Digital signature


Reply to: