-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
Dockerfile
38 lines (31 loc) · 978 Bytes
/
Dockerfile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
FROM ubuntu:20.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 \
&& rm -rf /var/lib/apt/lists/*
ENTRYPOINT ["/tini", "--"]
CMD ["bash"]