diff options
| -rw-r--r-- | .SRCINFO | 14 | ||||
| -rw-r--r-- | PKGBUILD | 16 |
2 files changed, 15 insertions, 15 deletions
@@ -1,26 +1,26 @@ pkgbase = klee pkgdesc = Symbolic virtual machine built on top of the LLVM compiler infrastructure - pkgver = 3.0 - pkgrel = 16 + pkgver = 3.1 + pkgrel = 17 url = https://klee.github.io/ arch = x86_64 license = custom:UIUC checkdepends = python-tabulate makedepends = gperftools makedepends = z3 - makedepends = llvm14 - makedepends = clang14 + makedepends = llvm16 + makedepends = clang16 makedepends = cmake makedepends = git depends = gperftools depends = z3 depends = libcap depends = python - depends = llvm14-libs + depends = llvm16-libs depends = klee-uclibc depends = sqlite - provides = klee=3.0 - source = git+https://github.com/klee/klee.git#tag=v3.0 + provides = klee=3.1 + source = git+https://github.com/klee/klee.git#tag=v3.1 source = git+https://github.com/google/googletest.git#tag=release-1.11.0 md5sums = SKIP md5sums = SKIP @@ -3,8 +3,8 @@ # Contributor: gilcu3 # Contributor: nickolai pkgname=klee -pkgver=3.0 -pkgrel=16 +pkgver=3.1 +pkgrel=17 epoch= pkgdesc="Symbolic virtual machine built on top of the LLVM compiler infrastructure" arch=('x86_64') @@ -15,25 +15,25 @@ depends=('gperftools' 'z3' 'libcap' 'python' - 'llvm14-libs' + 'llvm16-libs' 'klee-uclibc' 'sqlite') makedepends=('gperftools' 'z3' - 'llvm14' - 'clang14' + 'llvm16' + 'clang16' 'cmake' 'git') checkdepends=('python-tabulate') optdepends=() -provides=('klee=3.0') +provides=('klee=3.1') conflicts=() replaces=() backup=() options=() install= changelog= -source=("git+https://github.com/klee/klee.git#tag=v3.0" +source=("git+https://github.com/klee/klee.git#tag=v3.1" "git+https://github.com/google/googletest.git#tag=release-1.11.0") #Building from the repo so it's built with the same compiler as klee is noextract=() md5sums=('SKIP' @@ -59,7 +59,7 @@ prepare() { -DENABLE_UNIT_TESTS=ON \ -DENABLE_SYSTEM_TESTS=ON \ -DENABLE_UNIT_TESTS=ON \ - -DLLVM_DIR=/usr/lib/llvm14/lib/cmake/llvm \ + -DLLVM_DIR=/usr/lib/llvm16/lib/cmake/llvm \ -DGOOGLETEST_VERSION=1.11.0 \ "$srcdir/$pkgname" } |