summaryrefslogtreecommitdiff
path: root/Dockerfile_ubuntu
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-09-24 13:33:33 +0200
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-09-24 13:33:33 +0200
commite197ebc7a6996d0ed7c8b68e364e8a0484a21fbd (patch)
treeb8071c2bc4f5f99ff92af8ddbacdfae7b442164c /Dockerfile_ubuntu
parentb0c4bcce51e4c17660b378c374796d6d300002ed (diff)
Add POT for CI
Diffstat (limited to 'Dockerfile_ubuntu')
-rw-r--r--Dockerfile_ubuntu1
1 files changed, 1 insertions, 0 deletions
diff --git a/Dockerfile_ubuntu b/Dockerfile_ubuntu
index e149a33a..12f2dc94 100644
--- a/Dockerfile_ubuntu
+++ b/Dockerfile_ubuntu
@@ -51,6 +51,7 @@ RUN pip3 install \
matplotlib \
scipy \
Cython \
+ POT \
sphinx \
sphinxcontrib-bibtex