btor2tools 1.0.0+gitX

Name btor2tools
Version 1.0.0+gitX (6f0bbf453632d6b39b7bad0ec50187a81eba099a)
Summary
Description Btor2tools is a generic parser and tool package for the BTOR2 format.
Section devel/verilog
License MIT
Homepage https://github.com/boolector/btor2tools
Recipe file recipes-support/boolector/btor2tools_git.bb
Layer meta-hdl (master branch)
Inherits
  • cmake
Dependencies
  • cmake-native
  • ninja-native
  • virtual/i686-oe-linux-compilerlibs
  • virtual/i686-oe-linux-gcc
  • virtual/libc
PACKAGECONFIG options

Sources

git://github.com/Boolector/btor2tools

Patches

None

Other branches

This recipe in other branches of meta-hdl:

Branch Recipe
master btor2tools 1.0.0+gitX (this recipe)