Home
last modified time | relevance | path

Searched refs:makefile (Results 1 – 5 of 5) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/
HDmake_proof_makefiles.py153 makefile = collections.OrderedDict()
161 makefile["OBJS_EXCEPT_HARNESS"] = " ".join(
170 makefile[name] = " ".join(new_value)
172 makefile[name] = compute(value, so_far, system, name, dyr)
174 if (("EXPECTED" not in makefile.keys()) or
175 str(makefile["EXPECTED"]).lower() == "true"):
176 makefile["EXPECTED"] = "SUCCESSFUL"
177 elif str(makefile["EXPECTED"]).lower() == "false":
178 makefile["EXPECTED"] = "FAILURE"
179 makefile = ["H_%s = %s" % (k, v) for k, v in makefile.items()]
[all …]
HDmake_common_makefile.py155 def write_define(opsys, define, defines, makefile): argument
160 makefile.write("{} = {}\n".format(define, value))
162 def write_common_defines(opsys, defines, makefile): argument
177 makefile.write(define + "\n")
180 def write_makefile(opsys, template, defines, makefile): argument
190 makefile.write(line)
223 def makefile_from_template(opsys, template, defines, makefile="Makefile"): argument
224 with open(makefile, "w") as _makefile:
HDninja.py180 with open('{}/Makefile'.format(folder)) as makefile:
181 for line in makefile:
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/patches/
HDcompute_patch.py77 makefile = json.loads(content)
78 if key in makefile.keys():
83 for define in makefile[key]:
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/
HDREADME.md6 …e compatible systems. But in case of DOS based systems some tweaking is required with the makefile.