ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Ignore non-config json files

pull/9561/head
Jimmy Brisson 2019-01-31 09:19:21 -06:00
parent db30e714f9
commit f45b53fd47
1 changed files with 15 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
tools/resources/__init__.py
View File

@ -80,9 +80,17 @@ LEGACY_TOOLCHAIN_NAMES = {
'ARMC6': 'ARMC6', 'ARMC6': 'ARMC6',
} }
MBED_LIB_FILENAME = 'mbed_lib.json'
MBED_APP_FILENAME = 'mbed_app.json'
CONFIG_FILES = set([
MBED_LIB_FILENAME,
MBED_APP_FILENAME
])
FileRef = namedtuple("FileRef", "name path") FileRef = namedtuple("FileRef", "name path")
class FileType(object): class FileType(object):
C_SRC = "c" C_SRC = "c"
CPP_SRC = "c++" CPP_SRC = "c++"
@ -280,13 +288,17 @@ class Resources(object):
if self._include_file(ref) if self._include_file(ref)
] ]
def filter_by_libraries(self, library_refs): def filter_by_libraries(self, libraries_included):
""" """
Call after completely done scanning to filter resources based on Call after completely done scanning to filter resources based on
libraries libraries
""" """
self._libs_filtered = library_refs self._libs_filtered = set(libraries_included)
self._excluded_libs = set(self._file_refs[FileType.JSON]) - set(library_refs) all_library_refs = set(
ref for ref in self._file_refs[FileType.JSON]
if ref.name.endswith(MBED_LIB_FILENAME)
)
self._excluded_libs = all_library_refs - self._libs_filtered
def _get_from_refs(self, file_type, key): def _get_from_refs(self, file_type, key):
return sorted([key(f) for f in self.get_file_refs(file_type)]) return sorted([key(f) for f in self.get_file_refs(file_type)])