diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2019-12-26 19:32:34 +0100 |
|---|---|---|
| committer | Marc Glisse <marc.glisse@inria.fr> | 2019-12-26 19:32:34 +0100 |
| commit | ba35ad0281f89449655a0144284f50e22e870ab4 (patch) | |
| tree | c434d1fb3cd616ffb037715f54344ec7e5af04a3 /Dockerfile_for_circleci_image | |
| parent | da96206b1fa6fe536d77e9b5906f10d26a37b243 (diff) | |
Install pybind11 in CircleCI
Diffstat (limited to 'Dockerfile_for_circleci_image')
| -rw-r--r-- | Dockerfile_for_circleci_image | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Dockerfile_for_circleci_image b/Dockerfile_for_circleci_image index f0c73d76..c9342bf4 100644 --- a/Dockerfile_for_circleci_image +++ b/Dockerfile_for_circleci_image @@ -43,6 +43,7 @@ RUN apt-get install -y make \ python3-pip \ python3-pytest \ python3-tk \ + python3-pybind11 \ libfreetype6-dev \ pkg-config |