From 6d02ca0e077cc9750275abdfc024429cec0ba5a5 Mon Sep 17 00:00:00 2001
From: Marc Glisse <marc.glisse@inria.fr>
Date: Tue, 14 Apr 2020 17:10:58 +0200
Subject: Install Ubuntu's python3-grpcio

since the one from PyPI seems broken at the moment.
---
 Dockerfile_for_circleci_image | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Dockerfile_for_circleci_image')

diff --git a/Dockerfile_for_circleci_image b/Dockerfile_for_circleci_image
index 20754e2a..c2e8a8f5 100644
--- a/Dockerfile_for_circleci_image
+++ b/Dockerfile_for_circleci_image
@@ -43,6 +43,7 @@ RUN apt-get install -y make \
     python3 \
     python3-pip \
     python3-tk \
+    python3-grpcio \
     libfreetype6-dev \
     pkg-config \
     curl
-- 
cgit v1.2.3