diff options
author | theguy | 2021-10-20 15:19:04 +0200 |
---|---|---|
committer | theguy | 2021-10-20 15:19:04 +0200 |
commit | 4c690dd4c7a4941d0e225af08fb1d2b72d1e2523 (patch) | |
tree | 549c749b7243c6956c2118a3a75e7c0a75490906 | |
parent | f6109f4a83ffbb789837cc35184980d65a04f770 (diff) | |
download | aur-4c690dd4c7a4941d0e225af08fb1d2b72d1e2523.tar.gz |
add z3 to makedepends
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 4 insertions, 4 deletions
@@ -1,6 +1,6 @@ pkgbase = hal-git pkgdesc = The Hardware Analyzer for Hardware Reversing from emsec. (git version) - pkgver = v2.0.0.r144.gd0c81a07 + pkgver = v3.3.0.r14.gccab704606 pkgrel = 1 url = https://github.com/emsec/hal arch = x86_64 @@ -8,6 +8,7 @@ pkgbase = hal-git makedepends = git makedepends = cmake makedepends = ccache + makedepends = z3 depends = lcov depends = gcovr depends = doxygen @@ -29,4 +30,3 @@ pkgbase = hal-git md5sums = SKIP pkgname = hal-git - @@ -1,6 +1,6 @@ # Maintainer: theguy147 <yakamoz147 (at) protonmail (dot) com> pkgname=hal-git -pkgver=v2.0.0.r144.gd0c81a07 +pkgver=v3.3.0.r14.gccab704606 pkgrel=1 pkgdesc='The Hardware Analyzer for Hardware Reversing from emsec. (git version)' arch=('x86_64') @@ -8,7 +8,7 @@ url='https://github.com/emsec/hal' license=('MIT') depends=('lcov' 'gcovr' 'doxygen' 'boost' 'qt5-svg' 'libsodium' 'igraph' 'ninja' 'rapidjson' 'spdlog' 'python-sphinx' 'python-sphinx_rtd_theme' 'python-jedi' 'python-pip' 'python-dateutil' 'pybind11') optdepends=('graphviz: for documentation') -makedepends=('git' 'cmake' 'ccache') +makedepends=('git' 'cmake' 'ccache' 'z3') source=("$pkgname::git+https://github.com/emsec/hal.git") md5sums=('SKIP') |