Add dependencies

2 files changed, 8 insertions, 1 deletions

diff --git a/.SRCINFO b/.SRCINFO
index ab4f36e95320..f75f7e7caed4 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,5 +1,5 @@
 # Generated by mksrcinfo v8
-# Sun Nov 20 05:14:50 UTC 2016
+# Sun Nov 20 05:15:55 UTC 2016
 pkgbase = z3-bin
 	pkgdesc = An automatic theorem prover
 	pkgver = 4.5.0
@@ -8,6 +8,10 @@ pkgbase = z3-bin
 	arch = i686
 	arch = x86_64
 	license = MIT
+	makedepends = git
+	makedepends = python
+	depends = gcc-libs
+	optdepends = python: bindings for python
 	source = https://github.com/Z3Prover/z3/releases/download/z3-4.5.0/z3-4.5.0-x86-ubuntu-14.04.zip
 	md5sums = 243d48eb4c3531f323056040b94459ad
 
diff --git a/PKGBUILD b/PKGBUILD
index 355f3ac57c82..8027e4fb3e8b 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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"