diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2020-04-14 17:10:58 +0200 |
---|---|---|
committer | Marc Glisse <marc.glisse@inria.fr> | 2020-04-14 17:25:30 +0200 |
commit | 6d02ca0e077cc9750275abdfc024429cec0ba5a5 (patch) | |
tree | 72135d444c9a215b184bda1ec7549b0205f6a962 /Dockerfile_for_circleci_image | |
parent | e40f81361c6d40e3470f9b3880fceefd837b3da2 (diff) |
Install Ubuntu's python3-grpcio
since the one from PyPI seems broken at the moment.
Diffstat (limited to 'Dockerfile_for_circleci_image')
-rw-r--r-- | Dockerfile_for_circleci_image | 1 |
1 files changed, 1 insertions, 0 deletions
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 |