FreeRTOS-Plus/Test/CBMC/proofs/MakefileLinux.json


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

{
    "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"
    ]
}