diff options
author | Mihai Capotă <mihai@mihaic.ro> | 2016-11-23 14:23:42 -0800 |
---|---|---|
committer | Mihai Capotă <mihai@mihaic.ro> | 2016-11-23 14:23:42 -0800 |
commit | 0dc635b981cf111b41ffd13115b21d8985f867b1 (patch) | |
tree | 8b624ed7f2f557398653ef83f405f4f10b7a011e /python/setup.cfg | |
parent | 1d186c730074700995c3139af73267e9e498990a (diff) |
Add support for user level pybind11 installations
Currently, when pybind11 is installed using the `--user` flag of pip,
its headers are not found.
Diffstat (limited to 'python/setup.cfg')
0 files changed, 0 insertions, 0 deletions