paparazzi-builds
[Top][All Lists]
Advanced

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

[paparazzi-builds] [paparazzi] Failed: coverity_scan build #14


From: Semaphore
Subject: [paparazzi-builds] [paparazzi] Failed: coverity_scan build #14
Date: Thu, 14 Jul 2016 15:48:25 +0000

Build 14 Failed for project paparazzi on branch coverity_scan
Last commit for this build
Michal Podhradsky 14 Jul 15:45
1a980fa — An attempt to fix travis
Build Results
03:15
Thread #1
docker pull flixr/pprz-dev 01:47
git --version 00:00
git status 00:00
git submodule deinit --force . 00:00
rm -rf .git/modules 00:00
git submodule update --init --force --recursive 00:38
if [ "$SEMAPHORE_TRIGGER_SOURCE" = "scheduler" ]; then docker/run.sh -it flixr/pprz-dev make test_all_confs ; else docker/run.sh -it flixr/pprz-dev make test ; fi 00:04
( Showing only the last 30 out of 42 lines. For a complete log visit the build page )

All tests successful.
Files=3, Tests=15,  1 wallclock secs ( 0.01 usr  0.01 sys +  1.35 cusr  0.00 csys =  1.37 CPU)
Result: PASS
------------------------------------------------------------
Building Paparazzi version v5.9_devel-765-g1a980fa
------------------------------------------------------------
make -C data/maps
mkdir /home/pprz/paparazzi/conf/maps_data
-----------------------------------------------
DOWNLOAD: google maps version code
Updated google maps version to 692
-----------------------------------------------
[ -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
Build bytecode lib
+ ocamlfind ocamldep -package xml-light -package ivy -pp 'camlp4o pa_macro.cmo -DHAS_BYTES_MODULE' -modules pprzLink.ml > pprzLink.ml.depends
Segmentation fault
File "pprzLink.ml", line 1:
Error: Error while running external preprocessor
Command line: camlp4o pa_macro.cmo -DHAS_BYTES_MODULE 'pprzLink.ml' > /tmp/ocamlppec9acd

Command exited with code 2.
Makefile:76: recipe for target 'byte' failed
make[2]: *** [byte] Error 10
Makefile:57: recipe for target 'libpprzlink-install' failed
make[1]: *** [libpprzlink-install] Error 2
Makefile:139: recipe for target 'libpprzlink' failed
make: *** [libpprzlink] Error 2

Manage your email notification settings.

Is this email not displaying correctly? Report the issue.

Sent by Semaphore


reply via email to

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