diff --git a/path_properties.py b/path_properties.py index 968b53d..44b42c2 100644 --- a/path_properties.py +++ b/path_properties.py @@ -59,7 +59,10 @@ class PathProperties: 'minimum_gcc_version': (0, 0, 0), # The script takes a perceptible amount of time to run. Possibly an infinite loop. 'more_than_1s': False, - # The path should not be built. E.g., it is symlinked into multiple archs. + # The path should not be built. E.g.: + # - it is symlinked into multiple archs + # - we have not integrated into the build yet, often it is being important from another repo + # and has a Makefile 'no_build': False, # The path does not generate an executable in itself, e.g. # it only generates intermediate object files. Therefore it @@ -704,6 +707,8 @@ path_properties_tuples = ( }, } ), + # Makefile build, generates shared libraries. + 'pybind11': {'no_build': True}, } ), 'linux': ( diff --git a/userland/libs/pybind11/test.sh b/userland/libs/pybind11/test similarity index 100% rename from userland/libs/pybind11/test.sh rename to userland/libs/pybind11/test