121 def find_definition_once(key, defines, prefix=None):  argument
128         _value = defines.get(_key)
134 def find_definition(key, defines):  argument
135     common_defines, opsys_defines, harness_defines = defines
155 def write_define(opsys, define, defines, makefile):  argument
156     value = find_definition(define, defines)
162 def write_common_defines(opsys, defines, makefile):  argument
163     common_defines, opsys_defines, harness_defines = defines
165     for key_prefix, defines in zip(["C", "O", "H"],
175                                           key, defines)
180 def write_makefile(opsys, template, defines, makefile):  argument
185             values = [find_definition(key, defines) for key in keys]
223 def makefile_from_template(opsys, template, defines, makefile="Makefile"):  argument
225         write_define(opsys, "FREERTOS_PLUS_TCP", defines, _makefile)
226         write_define(opsys, "PROOFS", defines, _makefile)
227         write_common_defines(opsys, defines, _makefile)
228         write_makefile(opsys, template, defines, _makefile)