From be2663fac3bdc31afcbefbff95b61a3ca0dc2c67 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Wed, 20 Feb 2019 17:31:43 +0100
Subject: [PATCH] up

---
 utils/docker/Dockerfile.ubuntu18.04 | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/utils/docker/Dockerfile.ubuntu18.04 b/utils/docker/Dockerfile.ubuntu18.04
index 756b48eb98..478bbecfb4 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
-- 
GitLab