[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Paparazzi-devel] compiling Ivy
From: |
Marcus Wolschon |
Subject: |
Re: [Paparazzi-devel] compiling Ivy |
Date: |
Fri, 25 Jan 2008 11:49:12 +0100 |
User-agent: |
Mozilla-Thunderbird 2.0.0.4 (X11/20070622) |
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Pascal Brisset schrieb:
| Three versions of ivy-ocaml are provided:
| - For the old stable distribution , sarge: ivy-ocaml_1.1-1_i386.deb
compiled for OCaml 3.08
| - For the stable, etch: ivy-ocaml_1.1-2_i386.deb compiled for OCaml 3.09
| - For the unstable, sid: ivy-ocaml_1.1-5_i386.deb compiled for OCaml
3.10
| You have to choose the right source for the packages, according to the
distribution you are using:
| - Debian sarge (old stable, probably old versions of Ubuntu): deb
http://paparazzi.enac.fr/debian sarge main
| - Debian etch (stable), Ubuntu 7.04, Ubuntun 7.10: deb
http://paparazzi.enac.fr/debian etch main
| - Debian sid (unstable) : deb http://paparazzi.enac.fr/debian sid main
Hello Pascal!
Oh, I only saw "http://paparazzi.enac.fr/debian sarge main" on the
website, when
I set up the systen and had no reason to add any other repository to the
apt.sources
then the one published there. I just checked and it seems to have been
updated to "etch"
now. The new paparazzi-dev package works with the current ocaml 3.10 as
included in
debian and paparazzi_08_01_10 compiles with it.
(Names like "stable" "old" or "testing" would probably be better in the
long run as
people upgrade their system will will not touch the paparazzi-line in
their apt-sources .
Marcus
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iD8DBQFHmb6of1hPnk3Z0cQRAt4LAKCbDWtC293y6W5gyjcqnz5kJHp5oQCeITH0
A99DeFA0GiluUh4o3ioTC38=
=5E7C
-----END PGP SIGNATURE-----