diff --git a/image/Dockerfile b/image/Dockerfile index d6ca089..6b41c60 100644 --- a/image/Dockerfile +++ b/image/Dockerfile @@ -44,10 +44,6 @@ RUN apt-get update && apt-get -y install \ libeigen3-dev \ libboost-dev -# Activate backports for more recent version of CMake -RUN echo "deb http://deb.debian.org/debian buster-backports main" > /etc/apt/sources.list.d/backports.list && apt-get update -RUN apt-get -t buster-backports -y install cmake # from https://packages.debian.org/buster-backports/cmake - # Make symlinks to avoid adding /usr/include to include dirs. RUN mkdir -p /project/dependencies/include && mkdir -p /project/dependencies/lib && \ ln -s /usr/include/boost /project/dependencies/include/boost && \