[python] install pybind11 from pypi
Currently we ship the pybind11
headers with dune-common
which means they have to be upgraded occasionally. A possible approach would now be to add pybin11==version
to the Python-requires
list in dune.module
which would install a working version of pybind11
into the venv. The location of the headers ends up being pythonEnv/lib/pythonX.X/site-packages/pybind11/include/pybind11
. So this approach would require adding that to the general include path (also for dune-py
).
After installation this path is the output of calling python -m pybind11 --includes
.