From b468b5bc95f20c23f6fd832eb08f565968d9e70d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ciro=20Santilli=20=E5=85=AD=E5=9B=9B=E4=BA=8B=E4=BB=B6=20?= =?UTF-8?q?=E6=B3=95=E8=BD=AE=E5=8A=9F?= Date: Mon, 24 Feb 2020 00:00:00 +0000 Subject: [PATCH] pybind11: disable LKMC build --- path_properties.py | 7 ++++++- userland/libs/pybind11/{test.sh => test} | 0 2 files changed, 6 insertions(+), 1 deletion(-) rename userland/libs/pybind11/{test.sh => test} (100%) 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