From ba35ad0281f89449655a0144284f50e22e870ab4 Mon Sep 17 00:00:00 2001
From: Marc Glisse <marc.glisse@inria.fr>
Date: Thu, 26 Dec 2019 19:32:34 +0100
Subject: Install pybind11 in CircleCI

---
 Dockerfile_for_circleci_image | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Dockerfile_for_circleci_image')

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
 
-- 
cgit v1.2.3