mirror of https://github.com/ArduPilot/ardupilot
42 lines
1.3 KiB
Docker
42 lines
1.3 KiB
Docker
FROM ubuntu:18.04
|
|
WORKDIR /ardupilot
|
|
|
|
RUN useradd -U -m ardupilot && \
|
|
usermod -G users ardupilot
|
|
|
|
RUN DEBIAN_FRONTEND=noninteractive apt-get update && apt-get install --no-install-recommends -y \
|
|
lsb-release \
|
|
sudo \
|
|
software-properties-common
|
|
|
|
COPY Tools/environment_install/install-prereqs-ubuntu.sh /ardupilot/Tools/environment_install/
|
|
COPY Tools/completion /ardupilot/Tools/completion/
|
|
|
|
# Create non root user for pip
|
|
ENV USER=ardupilot
|
|
|
|
RUN echo "ardupilot ALL=(ALL) NOPASSWD:ALL" > /etc/sudoers.d/ardupilot
|
|
RUN chmod 0440 /etc/sudoers.d/ardupilot
|
|
|
|
RUN chown -R ardupilot:ardupilot /ardupilot
|
|
|
|
USER ardupilot
|
|
|
|
ENV SKIP_AP_EXT_ENV=1 SKIP_AP_GRAPHIC_ENV=1 SKIP_AP_COV_ENV=1 SKIP_AP_GIT_CHECK=1
|
|
RUN Tools/environment_install/install-prereqs-ubuntu.sh -y
|
|
|
|
# add waf alias to ardupilot waf to .bashrc
|
|
RUN echo "alias waf=\"/ardupilot/waf\"" >> ~/.bashrc
|
|
|
|
# Check that local/bin are in PATH for pip --user installed package
|
|
RUN echo "if [ -d \"\$HOME/.local/bin\" ] ; then\nPATH=\"\$HOME/.local/bin:\$PATH\"\nfi" >> ~/.bashrc
|
|
|
|
# Set the buildlogs directory into /tmp as other directory aren't accessible
|
|
ENV BUILDLOGS=/tmp/buildlogs
|
|
|
|
# Cleanup
|
|
RUN DEBIAN_FRONTEND=noninteractive sudo apt-get clean \
|
|
&& sudo rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/*
|
|
|
|
ENV CCACHE_MAXSIZE=1G
|