diff options
author | Yan Doroshenko | 2018-02-18 21:56:19 +0100 |
---|---|---|
committer | Yan Doroshenko | 2018-02-18 21:56:19 +0100 |
commit | 6ea781c1b6dda79c2d0198c3d76a94374ed65ac7 (patch) | |
tree | 0b0b125a8077666431530f87050e6b7dfa21bb43 /PKGBUILD | |
parent | 8a4f927a31ac310b565603d211debc5656b91bf9 (diff) | |
download | aur-6ea781c1b6dda79c2d0198c3d76a94374ed65ac7.tar.gz |
[ver] 17.2.0.188.1159 -> 17.4.0.355.2349
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -9,7 +9,7 @@ # what the heck pkgname=oracle-sqldeveloper -pkgver=17.2.0.188.1159 +pkgver=17.4.0.355.2349 pkgrel=1 pkgdesc="A graphical tool for database development" arch=('any') @@ -23,7 +23,7 @@ source=(manual://sqldeveloper-$pkgver-no-jre.zip LICENSE java_home.patch) DLAGENTS+=('manual::/usr/bin/echo The source file for this package needs to be downloaded manually, since it requires a login and is not redistributable.;/usr/bin/echo Please visit http://www.oracle.com/technetwork/developer-tools/sql-developer/downloads/index.html.; exit 1;') -md5sums=('01f7377cb2f58295ba72bfb2f44218f0' +md5sums=('856c70371862f2f404aff1aed2400cbd' '59783d9d8c5f9da8256fa14d0e61a35e' '26c1dc933a9ab58a4245f4f351717645' '71a4092467209c160d0f34abbc08e049' @@ -42,7 +42,7 @@ package() { install -Dm755 "$srcdir/$pkgname.sh" "$pkgdir/usr/bin/$pkgname" install -Dm644 "$srcdir/$pkgname.desktop" "$pkgdir/usr/share/applications/$pkgname.desktop" install -Dm644 "$srcdir/LICENSE" "$pkgdir/usr/share/licenses/$pkgname/LICENSE" - + msg "You will need to set JAVA_HOME or run this package for the first time from the console to set the jdk path." } |