diff options
author | kaptoxic | 2016-11-20 00:15:57 -0500 |
---|---|---|
committer | kaptoxic | 2016-11-20 00:15:57 -0500 |
commit | fa6e92fc9417e83f0f61714b2e07932a08fd9861 (patch) | |
tree | 9e9eb74f901ec3c1462d4c3ed8297bfa6abc972b /PKGBUILD | |
parent | 573ca77347e11f0410291558afae033e024294e4 (diff) | |
download | aur-fa6e92fc9417e83f0f61714b2e07932a08fd9861.tar.gz |
Add dependencies
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -16,6 +16,9 @@ md5sums=('243d48eb4c3531f323056040b94459ad') md5sums=('030fe472df4c6b2f16019e0ef12c8918') _arch="x64" } +depends=('gcc-libs') +makedepends=('git' 'python') +optdepends=('python: bindings for python') package() { cd "$srcdir/z3-${pkgver}-${_arch}-ubuntu-14.04" |