diff options
author | daniel7 | 2020-04-03 02:17:30 +0200 |
---|---|---|
committer | daniel7 | 2020-04-03 02:17:30 +0200 |
commit | 2dbb5c5991e11235c0362356029325a064e98048 (patch) | |
tree | 2b0efde6cadcc25011c3f0e9de9bd477e7645fb6 | |
parent | 42413a42b581eff4c3b99b3d3846f2ced0536b38 (diff) | |
download | aur-2dbb5c5991e11235c0362356029325a064e98048.tar.gz |
restricted java version
-rw-r--r-- | .SRCINFO | 5 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 6 insertions, 5 deletions
@@ -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 @@ -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 } |