z3-native 4.8.10

Name z3-native
Version 4.8.10 (517d907567f4283ad8b48ff9c2a3f6dce838569e)
Summary
Description Z3 is a theorem prover from Microsoft Research
Section base
License MIT
Homepage https://github.com/Z3Prover/z3/wiki
Recipe file recipes-support/z3-native/z3-native_4.8.10.bb
Layer meta-sca (zeus branch)
Inherits
  • cmake
  • native
  • nopackages
  • python3-dir
  • python3native
  • relocatable
Dependencies
  • cmake-native
  • ninja-native
  • python3-native
PACKAGECONFIG options

Sources

git://github.com/Z3Prover/z3

Patches

None

Other branches

This recipe in other branches of meta-sca:

Branch Recipe
master z3-native 4.15.4
whinlatter (Yocto Project 5.3) z3-native 4.15.4
kirkstone (Yocto Project 4.0) z3-native 4.8.16
honister (Yocto Project 3.4) z3-native 4.8.16
hardknott (Yocto Project 3.3) z3-native 4.8.16
gatesgarth (Yocto Project 3.2) z3-native 4.8.12
dunfell (Yocto Project 3.1) z3-native 4.8.16
zeus (Yocto Project 3.0) z3-native 4.8.10 (this recipe)
warrior (Yocto Project 2.7) z3-native 4.8.8