z3 4.13.3+gitX

Name z3
Version 4.13.3+gitX (a23a8cdfc5a9d3bf6d6ce287d58752cb4a7227ea)
Summary
Description Z3 is a theorem prover from Microsoft Research.
Section devel/verilog
License MIT
Homepage https://github.com/Z3Prover/z3/wiki
Recipe file recipes-support/z3/z3_git.bb
Layer meta-hdl (master branch)
Inherits
  • cmake
  • python3-dir
  • python3native
Dependencies
  • cmake-native
  • ninja-native
  • python3-native
  • virtual/i686-oe-linux-compilerlibs
  • virtual/i686-oe-linux-gcc
  • virtual/libc
PACKAGECONFIG options

Sources

git://github.com/Z3Prover/z3

Patches

None

Other branches

This recipe in other branches of meta-hdl:

Branch Recipe
master z3 4.13.3+gitX (this recipe)