67 def patch_path_separator(opsys, string):  argument
69     to_separator = platform_definitions[opsys]["separator"]
80 def patch_compile_output(opsys, line, key, value):  argument
81     if opsys != "windows":
143 def construct_definition(opsys, key_prefix, value_prefix, key, definitions):  argument
148         values = [patch_path_separator(opsys, value)
155 def write_define(opsys, define, defines, makefile):  argument
162 def write_common_defines(opsys, defines, makefile):  argument
169         for value_prefix, key in zip([platform_definitions[opsys]["include"],
170                                       platform_definitions[opsys]["define"],
173             define = construct_definition(opsys,
180 def write_makefile(opsys, template, defines, makefile):  argument
183             line = patch_path_separator(opsys, line)
189                     line = patch_compile_output(opsys, line, key, value)
192 def write_cbmcbatchyaml_target(opsys, _makefile):  argument
211     if opsys != "windows":
214 def write_solver(opsys, _makefile):  argument
220     if opsys != "windows":
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)
229         write_cbmcbatchyaml_target(opsys, _makefile)
230         write_solver(opsys, _makefile)