summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2020-02-10 11:05:56 +0100
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2020-02-10 11:05:56 +0100
commitacaf033b23042b5618771e9a94076e7da88ef264 (patch)
tree54ee9b7a9e4036a837fd4feb8ccad6b5f06a2040
parentf2c85ed1fd87f9ca50b1ed80135b6eea21d08c33 (diff)
parent486fc4b560c61e936e6aae83ce90994f318517df (diff)
Merge branch 'master' of github.com:GUDHI/gudhi-devel
-rw-r--r--Dockerfile_for_circleci_image3
1 files changed, 2 insertions, 1 deletions
diff --git a/Dockerfile_for_circleci_image b/Dockerfile_for_circleci_image
index b7d0dcca..ebd2f366 100644
--- a/Dockerfile_for_circleci_image
+++ b/Dockerfile_for_circleci_image
@@ -58,7 +58,8 @@ RUN pip3 install \
scikit-learn \
sphinx \
sphinx-paramlinks \
- sphinxcontrib-bibtex
+ sphinxcontrib-bibtex \
+ tensorflow
# apt clean up
RUN apt autoremove && rm -rf /var/lib/apt/lists/*