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

Rewrite and document _include_file

pull/9561/head
Jimmy Brisson 2019-01-31 13:55:08 -06:00
parent 0265b57d35
commit 9b8a48f0f1
1 changed files with 17 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
tools/resources/__init__.py
View File

@ -267,20 +267,24 @@ class Resources(object):
self._file_refs[file_type].add(FileRef(file_name, file_path)) self._file_refs[file_type].add(FileRef(file_name, file_path))
def _include_file(self, ref): def _include_file(self, ref):
"""Determine if a given file ref should be included in the build
Files may be part of a library if a parent directory contains an
mbed_lib.json. If a file is part of a library, include or exclude
it based on the library it's part of.
If a file is not part of a library, it's included.
"""
_, path = ref _, path = ref
starts_with_excluded = [ cur_dir = dirname(path)
len(dirname(e.path)) for e in self._excluded_libs included_lib_paths = [dirname(e.path) for e in self._libs_filtered]
if path.startswith(dirname(e.path)) excluded_lib_paths = [dirname(e.path) for e in self._excluded_libs]
] while dirname(cur_dir) != cur_dir:
if not starts_with_excluded: if cur_dir in included_lib_paths:
return True return True
starts_with_included = [ elif cur_dir in excluded_lib_paths:
len(dirname(e.path)) for e in self._libs_filtered
if path.startswith(dirname(e.path))
]
if not starts_with_included:
return False return False
return max(starts_with_included) > max(starts_with_excluded) cur_dir = dirname(cur_dir)
return True
def get_file_refs(self, file_type): def get_file_refs(self, file_type):
"""Return a list of FileRef for every file of the given type""" """Return a list of FileRef for every file of the given type"""