Fix missing user dir in `python -m pybind11 --includes`
For the case of `pip install --user`, the header include dirs must
also include `pybind11.get_include(True)`.
[skip appveyor]
diff --git a/pybind11/__main__.py b/pybind11/__main__.py
index c3832d7..9ef8378 100644
--- a/pybind11/__main__.py
+++ b/pybind11/__main__.py
@@ -8,12 +8,18 @@
def print_includes():
- dirs = [sysconfig.get_path('include')]
- if sysconfig.get_path('platinclude') not in dirs:
- dirs.append(sysconfig.get_path('platinclude'))
- if get_include() not in dirs:
- dirs.append(get_include())
- print(' '.join('-I' + d for d in dirs))
+ dirs = [sysconfig.get_path('include'),
+ sysconfig.get_path('platinclude'),
+ get_include(),
+ get_include(True)]
+
+ # Make unique but preserve order
+ unique_dirs = []
+ for d in dirs:
+ if d not in unique_dirs:
+ unique_dirs.append(d)
+
+ print(' '.join('-I' + d for d in unique_dirs))
def main():