Build of Builds

This is the repository for the phase 3 demo software and build support. The scripts directory contains everything needed to compile the demo.

Build the docker image with:

$ docker build -t smaccmpilot-build .

Alternatively, pull the image from dockerhub with:

$ docker pull galoisinc/smaccmpilot-build

Run with:

$ docker run -v $PWD:/workdir -it galoisinc/smaccmpilot-build

The built images are in /opt/ - you can copy them to /workdir with:

$ cp tk1-image /workdir
$ cp pixhawk-image.px4 /workdir

To rebuilt the images, follow the Dockerfile, specifically:

$ ./code-build-pixhawk-image.sh # builds px4 image
$ ./code-build-tk1.sh # builds the tk1 image

For more details about using the images, follow the Software Guide