From 18dbc89fee2f7668c1033bc43f09ffecb24a5573 Mon Sep 17 00:00:00 2001
From: Jean-Baptiste Keck <Jean-Baptiste.Keck@imag.fr>
Date: Thu, 13 Jun 2019 00:10:27 +0200
Subject: [PATCH] fix weakref in dockerfile

---
 ci/docker_images/ubuntu/disco/Dockerfile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/ci/docker_images/ubuntu/disco/Dockerfile b/ci/docker_images/ubuntu/disco/Dockerfile
index b786b49db..f82c2ad31 100644
--- a/ci/docker_images/ubuntu/disco/Dockerfile
+++ b/ci/docker_images/ubuntu/disco/Dockerfile
@@ -243,7 +243,10 @@ RUN cd /tmp \
   && pip install . \
   && cd - \
   && rm -Rf python-flint
- 
+
+# fix backports.weakref
+RUN pip uninstall -y backports.weakref
+RUN apt-get install --reinstall -y python-backports.weakref
 
 # ensure all libraries are known by the runtime linker
 RUN ldconfig
-- 
GitLab