begriffs open source - cmsis-freertos/blob - Test/CBMC/proofs/MakefileLinux.json

   1 {
   2     "GOTO_CC": [
   3         "goto-cc"
   4     ],
   5     "COMPILE_LINK": [
   6         "-o"
   7     ],
   8     "COMPILE_ONLY": [
   9         "-c",
  10         "-o"
  11     ],
  12     "RULE_INPUT": [
  13         "$^"
  14     ],
  15     "RULE_OUTPUT": [
  16         "$@"
  17     ],
  18     "RULE_GOTO": [
  19         "%.goto : %.c"
  20     ],
  21     "INC": [
  22         "$(PROOFS)/../windows"
  23     ],
  24     "RM": [
  25         "$(RM)"
  26     ],
  27     "RM_RECURSIVE": [
  28         "$(RM) -r"
  29     ],
  30     "CP": [
  31         "cp"
  32     ],
  33     "TYPE_HEADER_SCRIPT": [
  34       "$(PROOFS)/make_type_header_files.py"
  35     ]
  36 }