diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2020-04-23 14:51:53 +0200 |
---|---|---|
committer | Marc Glisse <marc.glisse@inria.fr> | 2020-04-23 14:51:53 +0200 |
commit | 031e6879f94503e5250c005f8cb71e581799d2f3 (patch) | |
tree | 500c55f4b47a33b933f03ffad16b8c26df121830 /Dockerfile_for_circleci_image | |
parent | 65f6ca41a9cd6574a0ca8fa9b781c787064fe4ed (diff) | |
parent | e3f276ab5b7503ba7ce278fffbf73ebe66d6351c (diff) |
Merge remote-tracking branch 'origin/master' into compute_persistence
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 |