[Paparazzi-devel] Problem with ocaml-nox package under debian

[Jean Damien Brossillon]

Hi,

Just like Steffen said in a previous mail (Error with Ubuntu 8.10) it
seems that with Debian unstable repositories the following error
appears while compiling paparazzi :

File "pprz.mli", line 122, characters 78-89:
Unbound type constructor Ivy.binding
make[1]: *** [pprz.cmi] Fehler 2
make: *** [lib] Fehler 2

But, unlike Steffen, I can't solve it.

My problem is that the ivy-ocaml package is not installed and can't be
installed because the package is broken : it have a dependency over
ocaml-nox-3.09.2.
$ aptitude show ivy-ocaml
Package: ivy-ocaml
New: yes
State: not installed
Version: 1.1-2
Priority: optional
Section: net
Maintainer: Pascal Brisset (Hecto) <address@hidden>
Uncompressed Size: 213k
Depends: libc6 (>= 2.3.6-6), libglib2.0-0 (>= 2.10.0), libpcre3 (>= 4.5),
        ocaml-nox-3.09.2, ivy-c (>= 3.8)

Which doesn't exist anymore in the new repositories, replaced by
ocaml-nox-3.10.2 :
$ aptitude search ocaml-nox
i A ocaml-nox                       - ML language implementation with a class-ba
v   ocaml-nox-3.10.2                -

I can probably find an ugly way of doing it by forcing aptitude to
install the package but maybe a good way to fix the problem is to
change ivy-ocaml dependency from ocaml-nox-3.09.2 to ocaml-nox
(ocaml-nox-3.10.2 is a virtual package).

Thanks,
JD.