diff --git a/utils/docker/Dockerfile.ubuntu18.04 b/utils/docker/Dockerfile.ubuntu18.04 index 756b48eb98474c6ec92a4f5ca67a13b57d66e5df..478bbecfb4000bab0a5ca6f906eacbdae8590e94 100644 --- a/utils/docker/Dockerfile.ubuntu18.04 +++ b/utils/docker/Dockerfile.ubuntu18.04 @@ -42,6 +42,10 @@ RUN cd ${SLEPC_DIR} && ./configure && make RUN git clone https://gitlab.onelab.info/gmsh/gmsh.git RUN cd gmsh && mkdir build && cd build && cmake -DDEFAULT=0 -DENABLE_PARSER=1 -DENABLE_POST=1 -DENABLE_PLUGINS=1 -DENABLE_ANN=1 -DENABLE_BLAS_LAPACK=1 -DENABLE_BUILD_LIB=1 -DENABLE_PRIVATE_API=1 .. && make -j8 lib && make install/fast +# update to latest version and rebuild (docker build --build-arg REDO_FROM_HERE=yes) +ARG REDO_FROM_HERE= +RUN cd gmsh && git pull && cd build && make -j8 lib && make install/fast + VOLUME ["/etc/gitlab-runner"] RUN useradd -ms /bin/bash validator USER validator