diff options
Diffstat (limited to 'Dockerfile_gudhi_installation')
| -rw-r--r-- | Dockerfile_gudhi_installation | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Dockerfile_gudhi_installation b/Dockerfile_gudhi_installation index 33864d11..f9e8813b 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 |