diff options
author | cyrozap | 2019-10-13 02:21:12 -0500 |
---|---|---|
committer | cyrozap | 2019-10-13 03:01:48 -0500 |
commit | df34a9d50a00853408de7e58ce4023513e23fe6d (patch) | |
tree | d45a0b5c9bf0790007500c512c90af5cfcbf6d26 /PKGBUILD | |
parent | 1c0a8b51bce23ccc9ccc8d60a23fa616bcb12bc7 (diff) | |
download | aur-globalplatformpro-git.tar.gz |
Correct Java version again
Also export JAVA_HOME so the package will still build when a JDK of a
greater version is installed and active.
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 10 |
1 files changed, 9 insertions, 1 deletions
@@ -8,7 +8,7 @@ arch=('any') url="https://javacard.pro/globalplatform/" license=('LGPL3') depends=('java-runtime-headless>=8' 'pcsclite') -makedepends=('apache-ant' 'git' 'java-environment>=8' 'maven') +makedepends=('apache-ant' 'git' 'java-environment=8' 'maven') source=( "$pkgname::git+https://github.com/martinpaljak/GlobalPlatformPro.git" 'gp-pro' @@ -30,6 +30,14 @@ prepare() { build() { cd $pkgname + + # Build only works on Java 8, so set JAVA_HOME to OpenJDK 8. + if [ -d /usr/lib/jvm/java-8-openjdk ]; then + export JAVA_HOME=/usr/lib/jvm/java-8-openjdk + else + echo "WARNING: OpenJDK 8 not found. If the build fails, select a version 8 JDK using \"archlinux-java\"." + fi + mvn package ant } |