Apply lib_ignore from [features] (#18762)

This commit is contained in:
Victor Oliveira 2020-07-24 01:47:01 -03:00 committed by GitHub
parent 1d2d616a7c
commit 8c88c33d9f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -123,6 +123,12 @@ def install_features_dependencies():
proj.set("env:" + env["PIOENV"], "src_filter", [src_filter]) proj.set("env:" + env["PIOENV"], "src_filter", [src_filter])
env.Replace(SRC_FILTER=src_filter) env.Replace(SRC_FILTER=src_filter)
if 'lib_ignore' in FEATURE_DEPENDENCIES[feature]:
print("Ignoring libs for %s... " % feature)
lib_ignore = env.GetProjectOption("lib_ignore") + [FEATURE_DEPENDENCIES[feature]['lib_ignore']]
proj = env.GetProjectConfig()
proj.set("env:" + env["PIOENV"], "lib_ignore", lib_ignore)
# search the current compiler, considering the OS # search the current compiler, considering the OS
def search_compiler(): def search_compiler():
if env['PLATFORM'] == 'win32': if env['PLATFORM'] == 'win32':