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

[Rijesh Augustine]

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 compat.ml

OC fig.mli

OC fig.ml

OC debug.mli

OC debug.ml

OC base64.mli

OC base64.ml

OC serial.mli

OC serial.ml

OC ocaml_tools.mli

OC ocaml_tools.ml

OC expr_syntax.mli

OC expr_syntax.ml

OC expr_parser.mli

OC expr_parser.ml

OC expr_lexer.ml

OC extXml.mli

OC extXml.ml

OC env.mli

OC env.ml

OC xml2h.mli

OC xml2h.ml

OC latlong.mli

OC latlong.ml

OC egm96.mli

OC egm96.ml

OC srtm.mli

OC srtm.ml

OC http.mli

OC http.ml

OC maps_support.mli

OC maps_support.ml

OC gm.mli

OC gm.ml

OC iGN.mli

OC iGN.ml

OC geometry_2d.mli

OC geometry_2d.ml

OC cserial.c

OC ubx.mli

OC ubx.ml

OC xmlCom.mli

OC xmlCom.ml

OC os_calls.mli

OC os_calls.ml

OC editAirframe.mli

OC editAirframe.ml

OC defivybus.mli

OC defivybus.ml

OC fp_proc.mli

OC fp_proc.ml

OC gen_common.mli

OC gen_common.ml

OC quaternion.mli

OC quaternion.ml

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

OL gen_aircraft.ml

OL gen_airframe.ml

OL gen_ubx.ml

OL gen_mtk.ml

OC gen_flight_plan.ml

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 gen_common.ml

OC quaternion.mli

OC quaternion.ml

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