eden-emu/Vulkan-Utility-Libraries
15
0
Fork 0
mirror of https://github.com/KhronosGroup/Vulkan-Utility-Libraries.git synced 2025-05-24 21:49:23 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

scripts: Port improved extension filtering code

Browse source
This commit is contained in:
Daniel Rakos 2023-10-23 17:15:28 +02:00 • committed by Spencer Fricke
parent b7599c21a6
commit 5b3147a535
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
scripts/generate_source.py
View file

@ -93,9 +93,8 @@ def RunGenerators(api: str, registry: str, targetFilter: str) -> None:
# Parse the specified registry XML into an ElementTree object # Parse the specified registry XML into an ElementTree object
tree = ElementTree.parse(registry) tree = ElementTree.parse(registry)
# Filter out non-Vulkan extensions # Filter out extensions that are not on the API list
if api == 'vulkan': [exts.remove(e) for exts in tree.findall('extensions') for e in exts.findall('extension') if (sup := e.get('supported')) is not None and all(api not in sup.split(',') for api in apiList)]
[exts.remove(e) for exts in tree.findall('extensions') for e in exts.findall('extension') if (sup := e.get('supported')) is not None and options.apiname not in sup.split(',')]
# Load the XML tree into the registry object # Load the XML tree into the registry object
reg.loadElementTree(tree) reg.loadElementTree(tree)