paparazzi-devel
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Paparazzi-devel] make error in the very latest build

From: Gautier Hattenberger
Subject: Re: [Paparazzi-devel] make error in the very latest build
Date: Tue, 24 Oct 2017 19:39:00 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.4.0

Hello,

Which version of Ubuntu is being used here ? Because would like to avoid supporting very old version of OCaml (3.x and earlier). All supported versions of Ubuntu (2 LTS + 2 latest versions) are at least using 4.01.

If you are using an old system, then only upgrade ocaml using opam.

Gautier


Le 24/10/2017 à 07:40, Rijesh Augustine a écrit :
Ok. So the branch that I linked earlier should now have a fix for both the quaternion.ml and gen_flight_plan.ml file.
I think if you pull from there it should build.

If you reinstall from scratch you will get the master branch. You will have to wait for an owner to merge in this pull request (https://github.com/paparazzi/paparazzi/pull/2133) before a reinstall from scratch will have the fixes.

Rijesh

On Mon, Oct 23, 2017 at 11:16 PM, hendrixgr . <address@hidden> wrote:
And here is the latest attempt output after i re installed EVERYTHING.
address@hidden:~/paparazzi$ make
------------------------------------------------------------
Building Paparazzi version v5.13_devel-22-g7bbb52a-dirty
------------------------------------------------------------
make -C data/maps
-----------------------------------------------
DOWNLOAD: google maps version code
Updated google maps version to 746
-----------------------------------------------
[ -L conf/conf.xml ] || [ -f conf/conf.xml ] || cp conf/conf_example.xml conf/conf.xml
make -C sw/ext pprzlink.update
Submodule 'sw/ext/pprzlink' () registered for path 'sw/ext/pprzlink'
Check for already installed pprzlink ocaml lib
 -> found lib version 1.0 while installing 1.0
Build bytecode lib
Build native lib
INSTALL at location /home/hendrix/paparazzi/var/lib/ocaml
# Install correct version python library to DESTDIR
INSTALL at location /home/hendrix/paparazzi/var/lib/python
make -C sw/lib/ocaml
OCY expr_parser.mly
OCL expr_lexer.mll
40 states, 423 transitions, table size 1932 bytes
DEPEND .depend
OC compat.mli
OC fig.mli
OC debug.mli
OC base64.mli
OC serial.mli
OC ocaml_tools.mli
OC expr_syntax.mli
OC expr_parser.mli
OC extXml.mli
OC extXml.ml
OC env.mli
OC xml2h.mli
OC latlong.mli
OC egm96.mli
OC srtm.mli
OC http.mli
OC maps_support.mli
OC gm.mli
OC iGN.mli
OC iGN.ml
OC geometry_2d.mli
OC cserial.c
OC ubx.mli
OC xmlCom.mli
OC xmlCom.ml
OC os_calls.mli
OC editAirframe.mli
OC editAirframe.ml
OC defivybus.mli
OC fp_proc.mli
OC gen_common.mli
OC quaternion.mli
File "quaternion.ml", line 44, characters 2-167:
Error: The record field label y belongs to the type euler_angle
       but is mixed here with labels of type quaternion
make[1]: *** [quaternion.cmo] Error 2
make: *** [libpprz] Error 2
address@hidden:~/paparazzi$ 


On Tue, Oct 24, 2017 at 7:53 AM, hendrixgr . <address@hidden> wrote:
I made a fresh install and it still does not compile...
Here is the output of the make command
OL ivy2serial
OL ivy_serial_bridge
OL app_server
OL ivy2nmea
make -C /home/hendrix/paparazzi/sw/tools/generators
DEPEND .depend
File "gen_flight_plan.ml", line 871, characters 8-18:
Error: Unbound value List.iteri
make[1]: *** [gen_flight_plan.cmo] Error 2
make: *** [generators] Error 2
address@hidden:~/paparazzi$ 


On Tue, Oct 24, 2017 at 7:42 AM, Rijesh Augustine <address@hidden> wrote:
Hi.

OK, It seems like your earlier version of OCaml is not happy with how I set up a few types.
I made a pull request with the some modified code that I think should work.
You can try it out here https://github.com/rijesha/paparazzi/tree/fix_type_inference and see if that works.

Cheers
Rijesh

On Mon, Oct 23, 2017 at 10:37 PM, hendrixgr . <address@hidden> wrote:
Hi.
This is the output i get with ocaml
address@hidden:~/paparazzi$ ocaml
        Objective Caml version 3.12.1

# 
When i do a git pull it says that i am up to date but is still gives me this error
OC gen_common.mli
OC quaternion.mli
File "quaternion.ml", line 44, characters 2-167:
Error: The record field label y belongs to the type euler_angle
       but is mixed here with labels of type quaternion
make[1]: *** [quaternion.cmo] Error 2
make: *** [libpprz] Error 2
address@hidden:~/paparazzi$ ocaml
        Objective Caml version 3.12.1

# 


On Mon, Oct 23, 2017 at 7:33 PM, Chris Efstathiou <address@hidden> wrote:

I will check it tomorrow because now i am at home.

Chris


On 10/23/2017 6:05 PM, Rijesh Augustine wrote:
This seems to be an ocaml type inference issue.
What version of ocaml are you running? (type in ocaml in terminal)

Rijesh

On Mon, Oct 23, 2017 at 8:43 AM, Kirk Scheper <address@hidden> wrote:
You don't necessarily need a fresh install, you can first try to checkout a new branch from master. e.g.

git remote update -p
git checkout -b new_branch_name origin/master
make clean && make

Kirk


On 23/10/17 16:40, Chris Efstathiou wrote:
Hi.

I will try tomorrow a new inställ and report back.

 I hanen't changed anything though, it is just an older master updated through git pull 3 or 4 times.

Also it is an .ml file so i definitely didn't messed with files of that type.

Chris.


On 10/23/2017 2:15 PM, Kirk Scheper wrote:
Hey Hendrix,
I get no errors building a clean version of the current master. The error is likely due to some of your local changes.

You can see your changes in a useful graphical way with (if your remote for paparazzi is called origin):

    git difftool -d origin/master

This will show you each file that is different from master. When you select a file it will show you each line that is different.

Kirk

On 23/10/17 13:09, Chris wrote:
Hi

I tried to refresh my master version and after a git pull and a make clean i get this error when i am trying to compile the new code

File "quaternion.ml", line 44, characters 2-167:
Error: The record field label y belongs to the type euler_angle
       but is mixed here with labels of type quaternion
make[1]: *** [quaternion.cmo] Error 2
make: *** [libpprz] Error 2
address@hidden:~/paparazzi$

This is the output of the git branch -vv command

address@hidden:~/paparazzi$ git branch -vv
* master 7bbb52a [upstream/master] Fixed the EdgeFlow Divergence computation Sign Error (#2096)
address@hidden:~/paparazzi$

Chris


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


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


---
This email has been checked for viruses by Avast antivirus software.
https://www.avast.com/antivirus


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


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



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


Virus-free. www.avast.com


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



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




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




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

reply via email to
[Prev in Thread] Current Thread [Next in Thread]