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

[Semaphore]

Build 2108 Failed For project paparazzi on branch master

View on Semaphore

Last commit for this build

	Michal Podhradsky	18 Jan 23:09
d66fc0c — galois embedded crypto module and secure transport (#2205)

Build Results

03:42

Thread #1

ls -lah $SEMAPHORE_CACHE_DIR

00:00

df -h

00:00

docker pull flixr/pprz-dev

01:17

df -h

00:00

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

00:18

df -h

00:00

git --version

00:00

git status --ignored

00:00

git submodule deinit --force .

00:00

rm -rf .git/modules

00:00

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

00:58

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:19

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

        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
cat src/paparazzi | sed s#OCAMLRUN#/usr/bin/ocamlrun# | sed s#OCAML#/usr/bin/ocaml# > paparazzi
chmod a+x paparazzi
make -C sw/ground_segment/cockpit
DEPEND .depend
Segmentation fault
File "gcs.ml", line 1:
Error: Error while running external preprocessor
Command line: camlp4o pa_macro.cmo -DGDK_NATIVE_WINDOW 'gcs.ml' > /tmp/ocamlpp133379

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:151: 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