[paparazzi-builds] [paparazzi] Build failed : master #3603

[Semaphore]

Build 3603 Failed For project paparazzi on branch master

View on Semaphore

Last commit for this build

	Gautier Hattenberger	28 Jan 10:21
72aec07 — [docker] add python3 lxml to CI image

Build Results

06:56

Thread #1

ls -lah $SEMAPHORE_CACHE_DIR

00:00

df -h

00:00

docker pull paparazziuav/pprz-ci

02:00

df -h

00:00

sudo rm -rf /home/runner/{.phpbrew,.phpunit,.kerl,.kiex,.lein,.nvm,.npm,.rbenv}

00:03

df -h

00:00

git --version

00:00

git config --global user.email "paparazzi-devel@nongnu.org"

00:00

git config --global user.name "Paparazzi UAV"

00:00

git status --ignored

00:01

git submodule deinit --force .

00:00

rm -rf .git/modules

00:00

git submodule update --init --force --recursive

02:25

if [ "$SEMAPHORE_TRIGGER_SOURCE" = "scheduler" ]; then docker/run.sh -it paparazziuav/pprz-ci make test_all_confs ; else docker/run.sh -it paparazziuav/pprz-ci make test ; fi

00:54

( Showing only the last 30 out of 179 lines. For a complete log visit the build page )

        OC logplotter.ml
OL logplotter
OC sd2log.ml
OL sd2log
CC plotprofile
CC openlog2tlm
CC sdlogger_download
make -C sw/tools
DEPEND .depend
OL find_free_msg_id.ml
LD mergelogs
make -C sw/ground_segment/cockpit
DEPEND .depend
Segmentation fault (core dumped)
File "gcs.ml", line 1:
Error: Error while running external preprocessor
Command line: camlp4o pa_macro.cmo -DGDK_NATIVE_WINDOW 'gcs.ml' > /tmp/ocamlpp53b179

GLADE gtk_setting_time.ml
OC gtk_setting_time.ml
GLADE gtk_strip.ml
OC gtk_strip.ml
OC horizon.ml
File "horizon.ml", line 1:
Error: Could not find the .cmi file for interface horizon.mli.
Makefile:92: recipe for target 'horizon.cmo' failed
make[1]: *** [horizon.cmo] Error 2
Makefile:155: recipe for target 'cockpit' failed
make: *** [cockpit] Error 2

      

df -h

00:00

Manage your email notification settings.

Is this email not displaying correctly? Report the issue.

Sent by Semaphore