diff --git a/src/vulkan/util/vk_extensions.py b/src/vulkan/util/vk_extensions.py index 262c6f87b23..cbc1b3b3d68 100644 --- a/src/vulkan/util/vk_extensions.py +++ b/src/vulkan/util/vk_extensions.py @@ -17,6 +17,7 @@ class Extension: self.type = None self.number = number self.platform = None + self.provisional = False self.ext_version = int(ext_version) self.supported = [] @@ -43,6 +44,7 @@ class Extension: ext = Extension(name, number, version) ext.type = ext_elem.attrib['type'] ext.platform = ext_elem.attrib.get('platform', None) + ext.provisional = ext_elem.attrib.get('provisional', False) ext.supported = supported return ext @@ -190,6 +192,9 @@ def get_all_required(xml, thing, api): if api not in ext.supported: continue + if ext.provisional: + continue + for require in extension.findall('./require'): if not filter_api(require, api): continue