summaryrefslogtreecommitdiff
path: root/Dockerfile_for_circleci_image
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-09-25 10:02:26 +0200
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-09-25 10:02:26 +0200
commit690277af77068b7ab390cbce4e6989f1556c443d (patch)
tree622a97cb9b2b5e3097a7d3947b6cf9c5c663f762 /Dockerfile_for_circleci_image
parent2268124c398fdfb83547bec4f9d704dffdd0f673 (diff)
parent8cbeb21d32701e7ae848062116cae91833667900 (diff)
Merge branch 'master' into dockerfile_for_gudhi_3.0.0
Diffstat (limited to 'Dockerfile_for_circleci_image')
-rw-r--r--Dockerfile_for_circleci_image1
1 files changed, 1 insertions, 0 deletions
diff --git a/Dockerfile_for_circleci_image b/Dockerfile_for_circleci_image
index e149a33a..12f2dc94 100644
--- a/Dockerfile_for_circleci_image
+++ b/Dockerfile_for_circleci_image
@@ -51,6 +51,7 @@ RUN pip3 install \
matplotlib \
scipy \
Cython \
+ POT \
sphinx \
sphinxcontrib-bibtex