mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-12-09 05:05:17 -05:00
f6dff3fea3
Update to out of source makefile build and add run-cbmc-proofs.py CBMC proofs can now be run with Litani with the command "./run-cbmc-proofs.py" Based on commits: * 1646301 - Ignore CBMC proof failures, fail the build later (4 months ago) <Kareem Khazem> * 7e8c91a - Fix Makefile prerequisite symbol for CBMC proofs (4 months ago) <Kareem Khazem> * bee04be - Enable CBMC proofs to run in CI (4 months ago) <Kareem Khazem> Found in https://github.com/FreeRTOS/FreeRTOS-Plus-TCP
36 lines
441 B
JSON
36 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"
|
|
]
|
|
}
|