-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathDockerfile
38 lines (28 loc) · 944 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
# Start from the Debian Sid base image
FROM debian:sid
# Set environment variables
ENV DEBIAN_FRONTEND=noninteractive
# Update apt and install build dependencies for MRPT
RUN apt-get update && apt-get install -y \
build-essential \
cmake \
git \
wget \
lsb-release \
sudo \
software-properties-common
RUN apt-get install -y \
git-buildpackage
# Add the source line to the sources.list
RUN echo "deb-src https://deb.debian.org/debian/ unstable main contrib non-free" >> /etc/apt/sources.list
# Update the package list
RUN apt-get update
RUN apt-get build-dep -y mrpt \
&& apt-get clean \
&& rm -rf /var/lib/apt/lists/*
# Create a working directory inside the container
WORKDIR /mrpt_build
# Link the external host directory $HOME/code/mrpt to /mrpt_build in the container
VOLUME ["$HOME/code/mrpt:/mrpt_build"]
# Build MRPT using CMake
CMD cmake . && make -j$(nproc) && make test_legacy && bash