From 74a6f8ca9a89d025801208ecf5cd069589207f6b Mon Sep 17 00:00:00 2001
From: mloubout <mathias.louboutin@gmail.com>
Date: Wed, 27 Mar 2024 21:35:36 -0400
Subject: [PATCH] fix docker

---
 docker/Dockerfile.JUDI | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/docker/Dockerfile.JUDI b/docker/Dockerfile.JUDI
index 7d329b11c..7549947e9 100644
--- a/docker/Dockerfile.JUDI
+++ b/docker/Dockerfile.JUDI
@@ -1,6 +1,9 @@
 ARG JVER=1.7
 FROM mloubout/julia-base:$JVER
 
+# Update devito to latest
+RUN pip3 install --user --upgrade devito[extras,tests]
+
 # Update julia packages
 RUN julia -e 'using Pkg;Pkg.update()'