diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2020-01-20 19:17:14 +0100 |
---|---|---|
committer | Marc Glisse <marc.glisse@inria.fr> | 2020-01-20 19:17:14 +0100 |
commit | 4c8e4549818bb033b148632abba4eae9ae9407c3 (patch) | |
tree | 6103b12979506ca065bdeaaa602a42dcc633c464 /Dockerfile_gudhi_installation | |
parent | a02397ba04d707dc79736ce2f598ebb74459bf90 (diff) |
Add pybind11 to Dockerfile_gudhi_installation
Diffstat (limited to 'Dockerfile_gudhi_installation')
-rw-r--r-- | Dockerfile_gudhi_installation | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Dockerfile_gudhi_installation b/Dockerfile_gudhi_installation index 9fe20730..76b2628b 100644 --- a/Dockerfile_gudhi_installation +++ b/Dockerfile_gudhi_installation @@ -42,6 +42,7 @@ RUN apt-get install -y make \ python3-pip \ python3-pytest \ python3-tk \ + python3-pybind11 \ libfreetype6-dev \ pkg-config \ curl @@ -62,4 +63,4 @@ RUN curl -LO "https://github.com/GUDHI/gudhi-devel/releases/download/tags%2Fgudh && make all test install \ && cmake -DWITH_GUDHI_PYTHON=ON . \ && cd python \ -&& python3 setup.py install
\ No newline at end of file +&& python3 setup.py install |