Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-04-04 14:31:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

tools: emit error if first invocation conditional

Browse Source 
Placing a config condition on the first define
in sel4arch.xml will fail as currently the first define
must start at the last define + 1 of the previous
invocation enum.

If this is ever required, autoconf.h will need to be passed
to the script so it can check config variables itself.
This commit is contained in:
Anna Lyons
2016-06-16 10:43:56 +10:00
parent 73837c8ace
commit 9fca296f8a
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
tools/invocation_header_gen.py
View File

@@ -70,6 +70,9 @@ SEL4_ARCH_INVOCATION_TEMPLATE = COMMON_HEADER + """
enum sel4_arch_invocation_label {
{{for label, condition in invocations}}
{{if condition}}
{{if first}}
#error "First sel4_arch invocation label cannot be conditional"
{{endif}}
#if {{condition}}
{{endif}}
{{if first}}
@@ -100,6 +103,9 @@ ARCH_INVOCATION_TEMPLATE = COMMON_HEADER + """
enum arch_invocation_label {
{{for label, condition in invocations}}
{{if condition}}
{{if first}}
#error "First arch invocation label cannot be conditional"
{{endif}}
#if {{condition}}
{{endif}}
{{if first}}