eden-emu/Vulkan-Utility-Libraries
15
0
Fork 0
mirror of https://github.com/KhronosGroup/Vulkan-Utility-Libraries.git synced 2025-06-01 09:27:54 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

scripts: Make generate_source.py look harder for vk.xml

Browse source 
Allow the registry path argument to also be the base directory
containing the Vulkan-Headers repo (eg. ./external) to save
redundant typing.
This commit is contained in:
Jeremy Gebben 2024-11-05 08:42:11 -07:00
parent 9697d82a57
commit 87ab6b39a9
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
scripts/generate_source.py
View file

@ -163,6 +163,12 @@ def main(argv):
args = parser.parse_args(argv) args = parser.parse_args(argv)
registry = os.path.abspath(os.path.join(args.registry, 'vk.xml')) registry = os.path.abspath(os.path.join(args.registry, 'vk.xml'))
if not os.path.isfile(registry):
registry = os.path.abspath(os.path.join(args.registry, 'Vulkan-Headers/registry/vk.xml'))
if not os.path.isfile(registry):
print(f'cannot find vk.xml in {args.registry}')
return -1
RunGenerators(args.api, registry, args.target) RunGenerators(args.api, registry, args.target)
return 0 return 0