summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD10
2 files changed, 11 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 389a167d84ed..4df7ea35fd66 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = java8-openjdk-jetbrains
pkgver = 8.u252.b1649.2
- pkgrel = 3
+ pkgrel = 4
url = https://github.com/JetBrains/jdk8u
arch = x86_64
license = GPL2
@@ -46,7 +46,7 @@ pkgname = jre8-openjdk-jetbrains-headless
pkgname = jre8-openjdk-jetbrains
pkgdesc = OpenJDK Java 8 full runtime environment (with JetBrains patches)
install = install_jre8-openjdk-jetbrains.sh
- depends = jre8-openjdk-jetbrains-headless=8.u252.b1649.2-3
+ depends = jre8-openjdk-jetbrains-headless=8.u252.b1649.2-4
depends = xdg-utils
depends = hicolor-icon-theme
optdepends = icedtea-web: web browser plugin + Java Web Start
@@ -61,7 +61,7 @@ pkgname = jdk8-openjdk-jetbrains
pkgdesc = OpenJDK Java 8 development kit (with JetBrains patches)
install = install_jdk8-openjdk-jetbrains.sh
depends = java-environment-common
- depends = jre8-openjdk-jetbrains=8.u252.b1649.2-3
+ depends = jre8-openjdk-jetbrains=8.u252.b1649.2-4
provides = java-environment=8
provides = java-environment-openjdk=8
provides = java-environment-openjdk-jetbrains=8
diff --git a/PKGBUILD b/PKGBUILD
index a8b224907ac4..5c21b8eac7c5 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -16,7 +16,7 @@ _jdk_update=252
_jdk_build=1649.2
pkgver=${_java_ver}.u${_jdk_update}.b${_jdk_build}
_repo_ver=jb${_java_ver}u${_jdk_update}-b${_jdk_build}
-pkgrel=3
+pkgrel=4
arch=('x86_64')
url='https://github.com/JetBrains/jdk8u'
license=('GPL2')
@@ -244,12 +244,18 @@ package_jdk8-openjdk-jetbrains() {
# 'bin' files
pushd bin
-
+ install -dm755 "${pkgdir}${_jvmdir}/bin/"
# 'java-rmi.cgi' will be handled separately as it should not be in the PATH and has no man page
for b in $(ls | grep -v java-rmi.cgi); do
if [ -e ../jre/bin/${b} ]; then
# Provide a link of the jre binary in the jdk/bin/ directory
ln -s ../jre/bin/${b} "${pkgdir}${_jvmdir}/bin/${b}"
+ else
+ # Copy binary to jdk/bin/
+ install -D -m 755 ${b} "${pkgdir}${_jvmdir}/bin/${b}"
+ # Copy man page
+ install -D -m 644 ../man/man1/${b}.1 "${pkgdir}/usr/share/man/man1/${b}-${_jdkname}.1"
+ install -D -m 644 ../man/ja/man1/${b}.1 "${pkgdir}/usr/share/man/ja/man1/${b}-${_jdkname}.1"
fi
done
popd