diff options
author | Florian Latifi | 2020-01-08 02:33:34 +0100 |
---|---|---|
committer | Florian Latifi | 2020-01-08 02:33:34 +0100 |
commit | 4455f7f4a95ce816f49934ebe03d2957d2d80ef6 (patch) | |
tree | 8b895d4372ef803a8995e1e1145357473d8fd6ca /PKGBUILD | |
parent | f27f5a01394691de789e84b4d4772bca23ccd0dd (diff) | |
download | aur-4455f7f4a95ce816f49934ebe03d2957d2d80ef6.tar.gz |
Use java-runtime instead of java-environment as dependency
This commit changes the java-environment dependency to java-runtime.
Eclipse Platform as a standalone application only requires a JRE for
execution. Using java-environment as a dependency installs a JDK which
is not needed by users which use this package to set up a non-Java IDE.
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -1,16 +1,17 @@ -# Maintainer: Eddy <e.pedroni91 at gmail> +# Maintainer: Florian Latifi <mail@florian-latifi.at> +# Contributor: Eddy <e.pedroni91 at gmail> # Contributor: Shanto <shanto at hotmail> # Contributor: Jesus Jerez <jhuss@archlinux.org.ve> pkgname=eclipse-platform pkgver=4.14 _pkgbuild=201912100610 -pkgrel=1 +pkgrel=2 pkgdesc="A minimal installation suitable for complete per-user customization with the built-in Eclipse package manager" url="https://www.eclipse.org" arch=("x86_64") license=("EPL") -depends=("java-environment>=8" "unzip" "webkit2gtk") +depends=("java-runtime>=8" "unzip" "webkit2gtk") optdepends=() conflicts=("eclipse-common") provides=("eclipse=$pkgver") |