summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorNiklas Krafczyk2020-04-15 14:48:06 +0200
committerNiklas Krafczyk2020-04-15 14:48:06 +0200
commit2d5a1ccc23530b07cf51c22c9e81f6dd0bd9c857 (patch)
tree33380e84089c96097fa2f3f909942d8cde65dac5
parent15cfbf1a397389faa53cc121f63ab136c5dd2704 (diff)
downloadaur-2d5a1ccc23530b07cf51c22c9e81f6dd0bd9c857.tar.gz
Added python-tabulate to checkdepends
Thanks to AUR user `snowball`
-rw-r--r--.SRCINFO3
-rw-r--r--PKGBUILD4
2 files changed, 4 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index d905fe3f2804..44a2dbf0b94f 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,10 +1,11 @@
pkgbase = klee
pkgdesc = Symbolic virtual machine built on top of the LLVM compiler infrastructure
pkgver = 2.1
- pkgrel = 4
+ pkgrel = 5
url = https://klee.github.io/
arch = x86_64
license = custom:UIUC
+ checkdepends = python-tabulate
makedepends = llvm>=3.8
makedepends = clang
makedepends = cmake
diff --git a/PKGBUILD b/PKGBUILD
index 0f2d47ae4514..b47230e6a57c 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Niklas Krafczyk <krafczyk.n at gmail dot com>
pkgname=klee
pkgver=2.1
-pkgrel=4
+pkgrel=5
epoch=
pkgdesc="Symbolic virtual machine built on top of the LLVM compiler infrastructure"
arch=('x86_64')
@@ -19,7 +19,7 @@ makedepends=('llvm>=3.8'
'clang'
'cmake'
'git')
-checkdepends=()
+checkdepends=('python-tabulate')
optdepends=()
provides=('klee=2.1')
conflicts=()