[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Paparazzi-devel] Installing paparazzi 4.2 on Ubuntu 12.04

From: Michal Podhradsky
Subject: Re: [Paparazzi-devel] Installing paparazzi 4.2 on Ubuntu 12.04
Date: Wed, 28 Jan 2015 10:34:22 -0800

Thanks Felix for quick reply.

If I install ivy-ocaml 1.2 as described here ( how do I enable it?

Also, will I be able to use paparazzi 5.4 at the same time as paparazzi 4.2?


On Wed, Jan 28, 2015 at 10:27 AM, Felix Ruess <address@hidden> wrote:
Hi Michal,

the latest version of ivy-ocaml is built without the backwards compatibility symlinks.
So you could either install an older ivy-ocaml package (version 1.2x), build it from source and enable them again or create the symlinks yourself by hand.

Or I add the symlinks only for the precise package again...

It is a bit annoying though if you have a Paparazzi v5.x and the symlinks, it always warns that the interfaces exist in multiple dirs...

Cheers, Felix

On Wed, Jan 28, 2015 at 7:12 PM, Michal Podhradsky <address@hidden> wrote:
Hi all,

I have a legacy version of paparazzi (essentially 4.2 with minor changes in the ap code), and I need to make it run on a new machine with Ubuntu 12.04.

I followed the install guide from wiki:

sudo add-apt-repository ppa:paparazzi-uav/ppa
sudo apt-get update
sudo apt-get install paparazzi-dev
sudo apt-get install paparazzi-arm-multilib

when I run make in the ppprzi directory I get the following error:
OC pprz.mli
File "pprz.mli", line 170, characters 78-89:
Error: Unbound module Ivy
make[1]: *** [pprz.cmi] Error 2
make: *** [lib] Error 2

From wiki ( it looks like some it is some missing Ocaml/Ivy linking.

Any ideas how to fix it? I already have latest paparazzi (master) running on the machine.


Paparazzi-devel mailing list

Paparazzi-devel mailing list

reply via email to

[Prev in Thread] Current Thread [Next in Thread]