mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-05-09 22:49:53 +08:00
Felix Ruess
85fa26e6d3
- Update to Ubuntu xenial and switch to new gcc-arm-embedded PPA. - Hhandle permissions for docker volumes by dynamically changing the id of user pprz to LOCAL_USER_ID. This should finally make it possible use the shared volume with the paparazzi source in docker on machines where your user/group id is not 1000
42 lines
1.1 KiB
Makefile
42 lines
1.1 KiB
Makefile
all: help
|
|
|
|
help:
|
|
@echo ""
|
|
@echo "-- Help Menu"
|
|
@echo ""
|
|
@echo " 1. make build - build all pprz images"
|
|
@echo " 1. make pull - pull all pprz images"
|
|
@echo " 1. make remove_images - remove all pprz images"
|
|
@echo " 2. make bash - run bash on pprz-dev"
|
|
@echo " 2. make test - run make test on pprz-dev"
|
|
@echo " 2. make terminator - run terminator on pprz-dev"
|
|
@echo " 2. make paparazzi - run ./paparazzi center on pprz-dev"
|
|
@echo " 2. make start - run ./start.py on pprz-dev"
|
|
@echo ""
|
|
|
|
build:
|
|
docker build --tag=flixr/pprz-dep dep/.
|
|
docker build --tag=flixr/pprz-dev dev/.
|
|
|
|
pull:
|
|
docker pull flixr/pprz-dep
|
|
docker pull flixr/pprz-dev
|
|
|
|
remove_images:
|
|
docker rmi -f flixr/pprz-dep
|
|
docker rmi -f flixr/pprz-dev
|
|
|
|
bash terminator:
|
|
@bash run.sh -i -t flixr/pprz-dev $@
|
|
|
|
paparazzi:
|
|
@bash run.sh -i -t flixr/pprz-dev ./paparazzi
|
|
|
|
start:
|
|
@bash run.sh -i -t flixr/pprz-dev ./start.py
|
|
|
|
test:
|
|
@bash run.sh -i -t flixr/pprz-dev make test
|
|
|
|
.PHONY: all help build pull remove_images bash terminator paparazzi start test
|