diff options
| author | Mark Lobodzinski <mark@lunarg.com> | 2017-06-01 07:41:46 -0600 |
|---|---|---|
| committer | Mark Lobodzinski <mark@lunarg.com> | 2017-06-06 14:36:42 -0600 |
| commit | da19cfce904e4d7d0405b4e07845dd17cc88224a (patch) | |
| tree | 5a119b157f2052bc9d16df77f43717f8653d4e89 /scripts | |
| parent | 7fa73da1902570e0826ffbd5ea6becf31626be56 (diff) | |
| download | usermoji-da19cfce904e4d7d0405b4e07845dd17cc88224a.tar.xz | |
scripts: Add generator options for extension helper
Change-Id: Ice9f1361c56de3cc342dd40a589580f4565bbc9e
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/lvl_genvk.py | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/scripts/lvl_genvk.py b/scripts/lvl_genvk.py index eab932ff..e90e0a3e 100644 --- a/scripts/lvl_genvk.py +++ b/scripts/lvl_genvk.py @@ -379,6 +379,28 @@ def makeGenOpts(extensions = [], removeExtensions = [], protect = True, director helper_file_type = 'object_types_header') ] + # Helper file generator options for extension_helper.h + genOpts['vk_extension_helper.h'] = [ + HelperFileOutputGenerator, + HelperFileOutputGeneratorOptions( + filename = 'vk_extension_helper.h', + directory = directory, + apiname = 'vulkan', + profile = None, + versions = allVersions, + emitversions = allVersions, + defaultExtensions = 'vulkan', + addExtensions = addExtensions, + removeExtensions = removeExtensions, + prefixText = prefixStrings + vkPrefixStrings, + protectFeature = False, + apicall = 'VKAPI_ATTR ', + apientry = 'VKAPI_CALL ', + apientryp = 'VKAPI_PTR *', + alignFuncParam = 48, + helper_file_type = 'extension_helper_header') + ] + # Generate a target based on the options in the matching genOpts{} object. # This is encapsulated in a function so it can be profiled and/or timed. |
