summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorMichel Zou2019-10-15 17:10:14 +0200
committerMichel Zou2019-10-15 17:10:14 +0200
commit3fe72626cb8732aafb6002e1e0a8433ee0cfc413 (patch)
treed4f15f60c4beefe6ff19f2d22e71d2f4e26baca7
parent1978c0ff32ede587a31ae9127855c25a6450fb80 (diff)
downloadaur-3fe72626cb8732aafb6002e1e0a8433ee0cfc413.tar.gz
python
-rw-r--r--.SRCINFO1
-rw-r--r--PKGBUILD2
2 files changed, 2 insertions, 1 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 3f273d2f1a9..2525690a24d 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -6,6 +6,7 @@ pkgbase = mingw-w64-z3
arch = any
license = MIT
makedepends = mingw-w64-cmake
+ makedepends = python
depends = mingw-w64-gmp
options = !strip
options = !buildflags
diff --git a/PKGBUILD b/PKGBUILD
index af33b758707..77742b44c97 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -5,7 +5,7 @@ pkgdesc='High-performance theorem prover (mingw-w64)'
url='https://github.com/Z3Prover/z3'
arch=('any')
license=('MIT')
-makedepends=('mingw-w64-cmake')
+makedepends=('mingw-w64-cmake' 'python')
options=('!strip' '!buildflags' 'staticlibs')
depends=('mingw-w64-gmp')
source=("https://github.com/Z3Prover/z3/archive/z3-${pkgver}.tar.gz")