Re: [Paparazzi-devel] Ubuntu 10.04 LTS compile Error

[Stephen L Hulme]

Hi Pascal

 

Thanks for responding to yet another plea for help.

 

First, ~/sources.list file pulls up the Synaptic Manger GUI front page with all boxes ticked.

 

Second, the ocaml -interp version is: 3.112 - 1  (ubuntu by the look of it).

The ivy - ocaml version is: 1-2-1~ppa6.

 

Thirdly I have copied and pasted the contents of ~sources.list.distUupgrade & ~/sources.list.save below.

 

Regards

 

Stephen  

 

~/sources.list.distUpgrade
# deb cdrom:[Ubuntu 9.04 _Jaunty Jackalope_ - Release i386
(20090420.1)]/ jaunty main restricted
# See http://help.ubuntu.com/community/UpgradeNotes for how to upgrade
to
# newer versions of the distribution.

deb http://nz.archive.ubuntu.com/ubuntu/ karmic main restricted
deb-src http://nz.archive.ubuntu.com/ubuntu/ karmic restricted main
multiverse universe #Added by software-properties

## Major bug fix updates produced after the final release of the
## distribution.
deb http://nz.archive.ubuntu.com/ubuntu/ karmic-updates main restricted
deb-src http://nz.archive.ubuntu.com/ubuntu/ karmic-updates restricted
main multiverse universe #Added by software-properties

## N.B. software from this repository is ENTIRELY UNSUPPORTED by the
Ubuntu
## team. Also, please note that software in universe WILL NOT receive
any
## review or updates from the Ubuntu security team.
deb http://nz.archive.ubuntu.com/ubuntu/ karmic universe
deb http://nz.archive.ubuntu.com/ubuntu/ karmic-updates universe

## N.B. software from this repository is ENTIRELY UNSUPPORTED by the
Ubuntu
## team, and may not be under a free licence. Please satisfy yourself as
to
## your rights to use the software. Also, please note that software in
## multiverse WILL NOT receive any review or updates from the Ubuntu
## security team.
deb http://nz.archive.ubuntu.com/ubuntu/ karmic multiverse
deb http://nz.archive.ubuntu.com/ubuntu/ karmic-updates multiverse

## Uncomment the following two lines to add software from the
'backports'
## repository.
## N.B. software from this repository may not have been tested as
## extensively as that contained in the main release, although it
includes
## newer versions of some applications which may provide useful
features.
## Also, please note that software in backports WILL NOT receive any
review
## or updates from the Ubuntu security team.
deb http://nz.archive.ubuntu.com/ubuntu/ jaunty-backports main
restricted universe multiverse
deb-src http://nz.archive.ubuntu.com/ubuntu/ jaunty-backports main
restricted universe multiverse

## Uncomment the following two lines to add software from Canonical's
## 'partner' repository.
## This software is not part of Ubuntu, but is offered by Canonical and
the
## respective vendors as a service to Ubuntu users.
deb http://archive.canonical.com/ubuntu karmic partner
deb-src http://archive.canonical.com/ubuntu karmic partner

deb http://security.ubuntu.com/ubuntu/ karmic-security restricted main
multiverse universe
deb-src http://nz.archive.ubuntu.com/ubuntu/ karmic-security restricted
main multiverse universe
deb http://paparazzi.enac.fr/ubuntu karmic main
deb http://ppa.launchpad.net/uce-launchpad/ppa/ubuntu karmic main
deb-src http://ppa.launchpad.net/uce-launchpad/ppa/ubuntu karmic main


~/sources.list.save
# deb cdrom:[Ubuntu 9.04 _Jaunty Jackalope_ - Release i386
(20090420.1)]/ jaunty main restricted
# See http://help.ubuntu.com/community/UpgradeNotes for how to upgrade
to
# newer versions of the distribution.

deb http://nz.archive.ubuntu.com/ubuntu/ lucid main restricted
deb-src http://nz.archive.ubuntu.com/ubuntu/ lucid restricted main
multiverse universe #Added by software-properties

## Major bug fix updates produced after the final release of the
## distribution.
deb http://nz.archive.ubuntu.com/ubuntu/ lucid-updates main restricted
deb-src http://nz.archive.ubuntu.com/ubuntu/ lucid-updates restricted
main multiverse universe #Added by software-properties

## N.B. software from this repository is ENTIRELY UNSUPPORTED by the
Ubuntu
## team. Also, please note that software in universe WILL NOT receive
any
## review or updates from the Ubuntu security team.
deb http://nz.archive.ubuntu.com/ubuntu/ lucid universe
deb http://nz.archive.ubuntu.com/ubuntu/ lucid-updates universe

## N.B. software from this repository is ENTIRELY UNSUPPORTED by the
Ubuntu
## team, and may not be under a free licence. Please satisfy yourself as
to
## your rights to use the software. Also, please note that software in
## multiverse WILL NOT receive any review or updates from the Ubuntu
## security team.
deb http://nz.archive.ubuntu.com/ubuntu/ lucid multiverse
deb http://nz.archive.ubuntu.com/ubuntu/ lucid-updates multiverse

## Uncomment the following two lines to add software from the
'backports'
## repository.
## N.B. software from this repository may not have been tested as
## extensively as that contained in the main release, although it
includes
## newer versions of some applications which may provide useful
features.
## Also, please note that software in backports WILL NOT receive any
review
## or updates from the Ubuntu security team.
deb http://nz.archive.ubuntu.com/ubuntu/ jaunty-backports main
restricted universe multiverse
deb-src http://nz.archive.ubuntu.com/ubuntu/ jaunty-backports main
restricted universe multiverse

## Uncomment the following two lines to add software from Canonical's
## 'partner' repository.
## This software is not part of Ubuntu, but is offered by Canonical and
the
## respective vendors as a service to Ubuntu users.
deb http://archive.canonical.com/ubuntu lucid partner
deb-src http://archive.canonical.com/ubuntu lucid partner

deb http://security.ubuntu.com/ubuntu/ lucid-security restricted main
multiverse universe
deb-src http://nz.archive.ubuntu.com/ubuntu/ lucid-security restricted
main multiverse universe
deb http://ppa.launchpad.net/uce-launchpad/ppa/ubuntu karmic main
deb-src http://ppa.launchpad.net/uce-launchpad/ppa/ubuntu karmic main
deb http://paparazzi.enac.fr/ubuntu lucid main

  

 

On Sun, 09 May 2010 20:52:41 +0200, Pascal Brisset wrote:

 

Hi,

What repositories are you using ? (/etc/apt/sources.list)
What versions of the ocaml-interp and ivy-ocaml packages are you using ?

   aptitude show ocaml-interp ivy-ocaml

--Pascal

Stephen L Hulme wrote:

Hi Guys

Am  I  the only one experiencing the following error after executing
make clean make in Ubuntu 10.04 LTS after an SVN update.?

" OC gen_aircraft.ml
File "gen_aircraft.ml", line 1, characters 0-1:
Error: Files /usr/lib/ocaml/ivy-ocaml.cma(Ivy)
      and /usr/lib/ocaml/stdlib.cma(Buffer)
      make inconsistent assumptions over interface Buffer
make[1]: *** [gen_aircraft.out] Error 2
make: *** [tools] Error 2"

Help and advice appreciated.

Stephen

_______________________________________________
Paparazzi-devel mailing list
address@hidden
http://lists.nongnu.org/mailman/listinfo/paparazzi-devel