development/eclipse-java: Updated for version 4.12.

Signed-off-by: Andrew Clemons <andrew.clemons@gmail.com>
This commit is contained in:
Andrew Clemons 2019-06-23 16:16:38 +12:00 committed by Willy Sudiarto Raharjo
parent 5f9b7c450c
commit 3d32d7ea5a
No known key found for this signature in database
GPG key ID: 887B8374D7333381
3 changed files with 6 additions and 9 deletions

View file

@ -1,14 +1,11 @@
config() { config() {
NEW="$1" NEW="$1"
OLD="$(dirname $NEW)/$(basename $NEW .new)" OLD="$(dirname $NEW)/$(basename $NEW .new)"
# If there's no config file by that name, mv it over:
if [ ! -r $OLD ]; then if [ ! -r $OLD ]; then
mv $NEW $OLD mv $NEW $OLD
elif [ "$(cat $OLD | md5sum)" = "$(cat $NEW | md5sum)" ]; then elif [ "$(cat $OLD | md5sum)" = "$(cat $NEW | md5sum)" ]; then
# toss the redundant copy
rm $NEW rm $NEW
fi fi
# Otherwise, we leave the .new copy for the admin to consider...
} }
if [ -x /usr/bin/update-desktop-database ]; then if [ -x /usr/bin/update-desktop-database ]; then

View file

@ -27,8 +27,8 @@
# This script is just a binary repackaging. # This script is just a binary repackaging.
PRGNAM=eclipse-java PRGNAM=eclipse-java
VERSION=${VERSION:-201903} VERSION=${VERSION:-4.12}
SRCVERSION=${SRCVERSION:-2019-03-R} SRCVERSION=${SRCVERSION:-2019-06-R}
BUILD=${BUILD:-1} BUILD=${BUILD:-1}
TAG=${TAG:-_SBo} TAG=${TAG:-_SBo}

View file

@ -1,10 +1,10 @@
PRGNAM="eclipse-java" PRGNAM="eclipse-java"
VERSION="201903" VERSION="4.12"
HOMEPAGE="http://www.eclipse.org" HOMEPAGE="http://www.eclipse.org"
DOWNLOAD="UNSUPPORTED" DOWNLOAD="UNSUPPORTED"
MD5SUM="" MD5SUM=""
DOWNLOAD_x86_64="http://download.eclipse.org/technology/epp/downloads/release/2019-03/R/eclipse-java-2019-03-R-linux-gtk-x86_64.tar.gz" DOWNLOAD_x86_64="http://download.eclipse.org/technology/epp/downloads/release/2019-06/R/eclipse-java-2019-06-R-linux-gtk-x86_64.tar.gz"
MD5SUM_x86_64="8f80fb9a63f65242a937bbdec3bb5a65" MD5SUM_x86_64="cdda169e002664dd1206c0d9e5380a82"
REQUIRES="jdk webkit2gtk" REQUIRES="jdk webkit2gtk"
MAINTAINER="Andrew Clemons" MAINTAINER="Andrew Clemons"
EMAIL="andrew.clemons@gmail.com" EMAIL="andrew.clemons@gmail.com"