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

[JD]

Works fine now,
thanks.

JD.

On Sun, Nov 9, 2008 at 09:35,  <address@hidden> wrote:
> Hi,
>
> with Debian unstable you have to use the following repository
>
> deb http://paparazzi.enac.fr/debian sid main
>
> which provides the approprite ivy-ocaml package (compiled with 
> ocaml-nox-3.10.2)
>
> --Pascal
>
> ----- Original Message -----
> From: "Jean Damien Brossillon" <address@hidden>
> To: address@hidden
> Sent: Saturday, 8 November, 2008 17:50:59 GMT +01:00 Amsterdam / Berlin / 
> Bern / Rome / Stockholm / Vienna
> Subject: [Paparazzi-devel] Problem with ocaml-nox package under debian
>
> 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.
>
>
> _______________________________________________
> Paparazzi-devel mailing list
> address@hidden
> http://lists.nongnu.org/mailman/listinfo/paparazzi-devel
>
>
> _______________________________________________
> Paparazzi-devel mailing list
> address@hidden
> http://lists.nongnu.org/mailman/listinfo/paparazzi-devel
>