[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Paparazzi-devel] Problem with ocaml-nox package under debian
From: |
pascal . brisset |
Subject: |
Re: [Paparazzi-devel] Problem with ocaml-nox package under debian |
Date: |
Sun, 9 Nov 2008 09:35:53 +0100 (CET) |
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