diff --git a/docker/Dockerfile.debian b/docker/Dockerfile.debian index f1d4de1f..c91e07d5 100644 --- a/docker/Dockerfile.debian +++ b/docker/Dockerfile.debian @@ -13,7 +13,7 @@ ARG CGAL_VERSION RUN ./before_install.sh $CGAL_VERSION RUN CGAL_DIR=/CGAL cmake -B build \ - -DSFCGAL_BUILD_TESTS=ON \ + -DSFCGAL_BUILD_TESTS=OFF \ -DCMAKE_C_COMPILER=/usr/bin/gcc \ -DCMAKE_CXX_COMPILER=/usr/bin/g++ \ -DCMAKE_BUILD_TYPE=Release && \