mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-05-09 22:49:53 +08:00
Fabien-B
40 lines
989 B
Docker
40 lines
989 B
Docker
FROM ubuntu:24.04
|
|
LABEL maintainer="felix.ruess@gmail.com"
|
|
|
|
# Add Tini
|
|
ENV TINI_VERSION v0.8.4
|
|
ADD https://github.com/krallin/tini/releases/download/${TINI_VERSION}/tini /tini
|
|
RUN chmod +x /tini
|
|
|
|
# setup environment
|
|
ENV LANG C.UTF-8
|
|
|
|
ARG DEBIAN_FRONTEND=noninteractive
|
|
|
|
# add Paparazzi PPA
|
|
RUN apt-get update && apt-get install -y software-properties-common
|
|
RUN add-apt-repository ppa:paparazzi-uav/ppa
|
|
#RUN add-apt-repository ppa:team-gcc-arm-embedded/ppa
|
|
|
|
# setup tzdata
|
|
ENV TZ=Etc/UTC
|
|
RUN ln -fs /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone
|
|
RUN apt-get -y install tzdata
|
|
|
|
# install paparazzi-dev which pull in the dependencies
|
|
# also install cross compiler and some stuff for X
|
|
RUN apt-get update && apt-get install -y \
|
|
cmake \
|
|
libcanberra-gtk-module \
|
|
paparazzi-dev \
|
|
paparazzi-jsbsim \
|
|
x11-apps \
|
|
gedit \
|
|
gcc-arm-none-eabi \
|
|
python3-future \
|
|
curl \
|
|
&& rm -rf /var/lib/apt/lists/*
|
|
|
|
ENTRYPOINT ["/tini", "--"]
|
|
CMD ["bash"]
|