diff options
Diffstat (limited to 'tools/boost_names.py')
| -rwxr-xr-x | tools/boost_names.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/boost_names.py b/tools/boost_names.py index f9f1f11..d381162 100755 --- a/tools/boost_names.py +++ b/tools/boost_names.py @@ -129,6 +129,9 @@ def get_modules(init=extra): def get_modules_2(): modules = [] + # The python module uses an older build system format and is not easily parseable. + # We add the python module libraries manually. + modules.append(Module('python', 'Python', ['boost_python', 'boost_python3', 'boost_numpy', 'boost_numpy3'])) for (root, dirs, files) in os.walk(LIBS): for f in files: if f == "libraries.json": |