paparazzi-devel
[Top][All Lists]
Advanced

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

Re: [Paparazzi-devel] compile error


From: Gautier Hattenberger
Subject: Re: [Paparazzi-devel] compile error
Date: Wed, 15 Jan 2025 09:16:00 +0100
User-agent: Mozilla Thunderbird

Hello,

The function String.lowercase_ascii is rather "recent" and is probably not available with the OCaml version from Ubuntu 16.04.

You either need to use an older version of Paparazzi or a more recent version of Ubuntu (better 22.04, 24.04 should work as well but some dependencies have to be installed by hand for now).

Gautier

Le 15/01/2025 à 05:56, hendrixgr a écrit :
Hi.
I know i am a bit rusty but i tried to install the 6.1 (i also tried 6.4) stable version using the steps provided at the wiki (i already had the 5.8 version running alwaus) but i get the compile error listed below. I am using an older version of Ubuntu (16.04) and this might be the problem, i don't really know...

The compile error is

Building Paparazzi version v6.1.0_stable-1-gffbe903
------------------------------------------------------------
[ -L conf/conf.xml ] || [ -f conf/conf.xml ] || cp conf/conf_example.xml conf/conf.xml [ -L conf/control_panel.xml ] || [ -f conf/control_panel.xml ] || cp conf/control_panel_example.xml conf/control_panel.xml
make -C sw/ext pprzlink.update
make[1]: Entering directory '/home/hendrix/paparazzi/sw/ext/pprzlink'
make[2]: Entering directory '/home/hendrix/paparazzi/sw/ext/pprzlink/lib/v2.0/ocaml'
Check for already installed pprzlink ocaml lib
Build bytecode lib
+ ocamlfind ocamlc -c -safe-string -package xml-light -package ivy -I common -o pprzLink.cmo pprzLink.ml
File "pprzLink.ml", line 251, characters 45-67:
Error: Unbound value String.lowercase_ascii
Command exited with code 2.
../../common/ocaml/Makefile:62: recipe for target 'byte' failed
make[2]: *** [byte] Error 10
make[2]: Leaving directory '/home/hendrix/paparazzi/sw/ext/pprzlink/lib/v2.0/ocaml'
Makefile:68: recipe for target 'libpprzlink-install' failed
make[1]: *** [libpprzlink-install] Error 2
make[1]: Leaving directory '/home/hendrix/paparazzi/sw/ext/pprzlink'
Makefile:147: recipe for target 'libpprzlink.install' failed
make: *** [libpprzlink.install] Error 2
hendrix@hendrix-HP-Compaq-8200-Elite-SFF-PC:~/paparazzi$

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



reply via email to

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