restricted java version

2 files changed, 6 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 25d766f9366c..0853a300cb3c 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,13 +1,14 @@
 pkgbase = cpachecker
 	pkgdesc = Tool for configurable software verification.
 	pkgver = 1.9
-	pkgrel = 1
+	pkgrel = 2
 	url = https://svn.sosy-lab.org/software/cpachecker/trunk
 	arch = x86_64
 	license = Apache Version 2.0
-	depends = java-environment
+	depends = java-environment=11
 	depends = python
 	depends = bash
+	depends = jre-openjdk
 	conflicts = cpachecker-svn
 	source = https://cpachecker.sosy-lab.org/CPAchecker-1.9-unix.tar.bz2
 	md5sums = feee336b472cda8e81e70b7b6fa49c6e
diff --git a/PKGBUILD b/PKGBUILD
index ac02e86fa6fd..0c92d06cafaa 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,12 +1,12 @@
 # Maintainer: Daniel Poellmann <aur@<lastname><firstname>.de>
 pkgname=cpachecker
 pkgver=1.9
-pkgrel=1
+pkgrel=2
 pkgdesc="Tool for configurable software verification."
 arch=("x86_64")
 url="https://svn.sosy-lab.org/software/cpachecker/trunk"
 license=('Apache Version 2.0')
-depends=("java-environment" "python" "bash")
+depends=("java-environment=11" "python" "bash" "jre-openjdk")
 makedepends=()
 checkdepends=()
 conflicts=("cpachecker-svn")
@@ -17,7 +17,7 @@ _dir=CPAchecker-1.9-unix
 
 prepare() {
         cd "$srcdir/$_dir"
-        sed '2 i PATH_TO_CPACHECKER=/opt/cpachecker' scripts/cpa.sh > tmpfile
+        sed '2 i PATH_TO_CPACHECKER=/opt/cpachecker\nJAVA_HOME=/usr/lib/jvm/java-11-openjdk/jre\nPATH=${JAVA_HOME}/bin:$PATH' scripts/cpa.sh > tmpfile
         mv tmpfile scripts/cpa.sh
         chmod +x scripts/cpa.sh
 }