mirror of
https://github.com/FreeRTOS/FreeRTOS.git
synced 2026-07-29 17:24:39 +00:00
d95624c5d6
* move CBMC proofs to FreeRTOS+ directory * Failing proofs corrected * ParseDNSReply proof added back * removed queue_init.h from -Plus/Test Co-authored-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
37 lines
441 B
JSON
37 lines
441 B
JSON
{
|
|
"GOTO_CC": [
|
|
"goto-cc"
|
|
],
|
|
"COMPILE_LINK": [
|
|
"-o"
|
|
],
|
|
"COMPILE_ONLY": [
|
|
"-c",
|
|
"-o"
|
|
],
|
|
"RULE_INPUT": [
|
|
"$<"
|
|
],
|
|
"RULE_OUTPUT": [
|
|
"$@"
|
|
],
|
|
"RULE_GOTO": [
|
|
"%.goto : %.c"
|
|
],
|
|
"INC": [
|
|
"$(PROOFS)/../windows"
|
|
],
|
|
"RM": [
|
|
"$(RM)"
|
|
],
|
|
"RM_RECURSIVE": [
|
|
"$(RM) -r"
|
|
],
|
|
"CP": [
|
|
"cp"
|
|
],
|
|
"TYPE_HEADER_SCRIPT": [
|
|
"$(PROOFS)/make_type_header_files.py"
|
|
]
|
|
}
|