diff --git a/BUILD b/BUILD.bazel similarity index 100% rename from BUILD rename to BUILD.bazel diff --git a/Dockerfile.centos7 b/Dockerfile.centos7 index a98e2718..456e64ff 100644 --- a/Dockerfile.centos7 +++ b/Dockerfile.centos7 @@ -14,7 +14,8 @@ RUN sed -i s/mirror.centos.org/vault.centos.org/g /etc/yum.repos.d/*.repo \ && yum install -y devtoolset-11 git wget cmake3 make eigen3-devel tcl swig3 flex zlib-devel valgrind \ && yum clean -y all -RUN ln -sf /usr/bin/cmake3 /usr/bin/cmake +RUN ln -sf /usr/bin/cmake3 /usr/bin/cmake && \ + ln -sf /usr/bin/ctest3 /usr/bin/ctest # Download Bison RUN wget https://ftpmirror.gnu.org/gnu/bison/bison-3.8.2.tar.gz && \