Fixing LLVM version to 14 for now

1 files changed, 6 insertions, 5 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 6ac6db14ab1c..e0fb884b3e19 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,8 @@
 # Maintainer: Niklas Krafczyk <krafczyk.n at gmail dot com>
+# Contributor: nickolai
 pkgname=klee-uclibc
 pkgver=1.3
-pkgrel=3
+pkgrel=4
 epoch=
 pkgdesc="uclibc for a symbolic virtual machine built on top of the LLVM compiler infrastructure"
 arch=('x86_64')
@@ -9,8 +10,8 @@ url="https://klee.github.io/"
 license=('LGPL2.1')
 groups=()
 depends=()
-makedepends=('llvm>=6.0'
-             'clang'
+makedepends=('llvm14'
+             'clang14'
              'git'
              'python'
              'wget')
@@ -30,14 +31,14 @@ validpgpkeys=()
 
 prepare() {
     cd "$srcdir/klee-uclibc"
-    DEVEL_PREFIX="/usr/share/klee-uclibc/" ./configure --make-llvm-lib
+    DEVEL_PREFIX="/usr/share/klee-uclibc/" ./configure --make-llvm-lib --with-llvm-config=/usr/bin/llvm-config-14 --with-cc=/usr/lib/llvm14/bin/clang
     sed -i 's|DEVEL_PREFIX="[^"]*"|DEVEL_PREFIX="/usr/share/klee-uclibc/usr"|' .config
     sed -i 's|RUNTIME_PREFIX="[^"]*"|RUNTIME_PREFIX="/usr/share/klee-uclibc/usr"|' .config
 }
 
 build() {
     cd "$srcdir/klee-uclibc"
-	make -j$(nproc)
+	make -j1
 }
 
 package() {