nativesdk-z3 4.14.1

Name nativesdk-z3
Version 4.14.1 (3c0d786e6e86b6a10cbc14703c3f863c568b85dd)
Summary
Description Z3 is a theorem prover from Microsoft Research
Section base
License MIT
Homepage https://github.com/Z3Prover/z3
Recipe file recipes-support/z3-native/nativesdk-z3_4.14.1.bb
Layer meta-sca (master branch)
Inherits
  • cmake
  • nativesdk
  • python3-dir
  • python3native
Dependencies
  • chrpath-replacement-native
  • cmake-native
  • gcc-crosssdk-x86_64-oesdk-linux
  • ninja-native
  • python3-native
  • virtual/nativesdk-compilerlibs
  • virtual/nativesdk-libc
PACKAGECONFIG options

Sources

git://github.com/Z3Prover/z3

Patches

None

Other branches

This recipe in other branches of meta-sca:

Branch Recipe
master nativesdk-z3 4.14.1 (this recipe)