Name sca-recipe-cbmc-rules
Version 1.0
Summary SCA ruleset for cbmc at recipes
Description Rules to configure how cbmc is affecting the build
Section base
License BSD-2-Clause
Homepage
Recipe file recipes-sca-rules/sca-recipe-cbmc-rules/sca-recipe-cbmc-rules_1.0.bb
Layer meta-sca (pyro branch)
Inherits
Dependencies
  • virtual/i586-scatest-linux-compilerlibs
  • virtual/i586-scatest-linux-gcc
  • virtual/libc
PACKAGECONFIG options

Sources

None

Patches

None

Other branches

This recipe in other branches of meta-sca:

Branch Recipe
sumo (Yocto Project 2.5) sca-recipe-cbmc-rules 1.0
rocko (Yocto Project 2.4) sca-recipe-cbmc-rules 1.0
pyro (Yocto Project 2.3) sca-recipe-cbmc-rules 1.0 (this recipe)
krogoth (Yocto Project 2.1) sca-recipe-cbmc-rules 1.0