summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authortheguy2021-10-20 15:19:04 +0200
committertheguy2021-10-20 15:19:04 +0200
commit4c690dd4c7a4941d0e225af08fb1d2b72d1e2523 (patch)
tree549c749b7243c6956c2118a3a75e7c0a75490906 /PKGBUILD
parentf6109f4a83ffbb789837cc35184980d65a04f770 (diff)
downloadaur-4c690dd4c7a4941d0e225af08fb1d2b72d1e2523.tar.gz
add z3 to makedepends
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index ddbc2eefa106..072bd0d2c416 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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')