equal
deleted
inserted
replaced
52 } |
52 } |
53 |
53 |
54 # integrity check for public/private headers |
54 # integrity check for public/private headers |
55 contains(TEMPLATE, .*lib$) { |
55 contains(TEMPLATE, .*lib$) { |
56 for(pubheader, $$list($$lower($$unique(PUBLIC_HEADERS)))) { |
56 for(pubheader, $$list($$lower($$unique(PUBLIC_HEADERS)))) { |
57 contains(pubheader, .*_p.h$):warning($$basename(pubheader) is listed in PUBLIC_HEADERS but has a \"_p.h\" suffix.) |
57 contains(pubheader, .*_[pr].h$):warning($$basename(pubheader) is listed in PUBLIC_HEADERS but has a \"_[pr].h\" suffix.) |
|
58 } |
|
59 for(restheader, $$list($$lower($$unique(RESTRICTED_HEADERS)))) { |
|
60 !contains(restheader, .*_r.h$):warning($$basename(restheader) is listed in RESTRICTED_HEADERS but has no \"_r.h\" suffix.) |
58 } |
61 } |
59 for(privheader, $$list($$lower($$unique(PRIVATE_HEADERS)))) { |
62 for(privheader, $$list($$lower($$unique(PRIVATE_HEADERS)))) { |
60 !contains(privheader, .*_p.h$):warning($$basename(privheader) is listed in PRIVATE_HEADERS but has no \"_p.h\" suffix.) |
63 !contains(privheader, .*_p.h$):warning($$basename(privheader) is listed in PRIVATE_HEADERS but has no \"_p.h\" suffix.) |
61 } |
64 } |
|
65 !isEmpty(INTERNAL_HEADERS) { |
|
66 warning(INTERNAL_HEADERS is obsolete. Use PUBLIC|RESTRICTED|PRIVATE_HEADERS for the following headers:) |
|
67 for(intheader, $$list($$unique(INTERNAL_HEADERS))) { |
|
68 warning($$intheader) |
|
69 } |
|
70 } |
62 } |
71 } |
63 |
72 |
64 # common extra targets |
73 # common extra targets |
65 include(flint.pri) |
|
66 include(astyle.pri) |
|
67 include(coverage.pri) |
74 include(coverage.pri) |