diff --git a/Docker/Dockerfile b/Docker/Dockerfile index 94c03ae043917a616655a068638200aad1c38b3d..89175ebad35bd36154dbcc9599053394f40c9a22 100644 --- a/Docker/Dockerfile +++ b/Docker/Dockerfile @@ -82,14 +82,8 @@ RUN \ cmake ../ -DCMAKE_INSTALL_PREFIX=/usr/local/ && \ make install -j`nproc` -# We currently checkout a specific version of DP3 because there's -# currently a bug in the solver in the master branch. Once this is -# solved we should again use master, and the clone cmd should be changed -# back to: -# git clone https://git.astron.nl/RD/DP3.git --depth 1 && RUN \ - git clone https://git.astron.nl/RD/DP3.git && \ - cd DP3 && git checkout 1eadf43fee5ac76f48611fdd1fd464ebda8c0b6d && cd .. && \ + git clone https://git.astron.nl/RD/DP3.git --depth 1 && \ mkdir DP3/build && \ cd DP3/build && \ cmake ../ \