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"]
