summaryrefslogtreecommitdiffstats
path: root/pkgs/applications/editors/eclipse
diff options
context:
space:
mode:
authorRobert Helgesson <robert@rycee.net>2019-01-21 00:27:27 +0100
committerRobert Helgesson <robert@rycee.net>2019-01-21 00:27:27 +0100
commit08bf7311f532a875ea1c561d79b20760ac49ee04 (patch)
treefe94757d3de41d453a7350f68f325218efce7596 /pkgs/applications/editors/eclipse
parent2b0efd5c5ae36204dfe745b109f6a3baa99210c2 (diff)
eclipses: 4.9 -> 4.10
This applies to Eclipse platform, SDK, and the JDT plugin.
Diffstat (limited to 'pkgs/applications/editors/eclipse')
-rw-r--r--pkgs/applications/editors/eclipse/default.nix26
-rw-r--r--pkgs/applications/editors/eclipse/plugins.nix6
2 files changed, 27 insertions, 5 deletions
diff --git a/pkgs/applications/editors/eclipse/default.nix b/pkgs/applications/editors/eclipse/default.nix
index 55bbc778e3ae..9f48cf255877 100644
--- a/pkgs/applications/editors/eclipse/default.nix
+++ b/pkgs/applications/editors/eclipse/default.nix
@@ -96,7 +96,7 @@ rec {
### Eclipse Platform
- eclipse-platform = eclipse-platform-49; # always point to latest
+ eclipse-platform = eclipse-platform-4_10; # always point to latest
eclipse-platform-47 = buildEclipse {
name = "eclipse-platform-4.7.3a";
@@ -143,6 +143,17 @@ rec {
};
};
+ eclipse-platform-4_10 = buildEclipse {
+ name = "eclipse-platform-4.10";
+ description = "Eclipse Platform 2018-12";
+ sources = {
+ "x86_64-linux" = fetchurl {
+ url = https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops4/R-4.10-201812060815/eclipse-platform-4.10-linux-gtk-x86_64.tar.gz;
+ sha512 = "c7f6eb262567b850ee0c3446d3e5379c4e6cf5bb04703a78f09924a113ae6a6ba37bf6e4a33c55de995fd898bfa20d2047ca2c83b153536c5100540153aeddbe";
+ };
+ };
+ };
+
### Eclipse Scala SDK
eclipse-scala-sdk = eclipse-scala-sdk-441; # always point to latest
@@ -165,7 +176,7 @@ rec {
### Eclipse SDK
- eclipse-sdk = eclipse-sdk-49; # always point to latest
+ eclipse-sdk = eclipse-sdk-4_10; # always point to latest
eclipse-sdk-47 = buildEclipse {
name = "eclipse-sdk-4.7.3a";
@@ -212,6 +223,17 @@ rec {
};
};
+ eclipse-sdk-4_10 = buildEclipse {
+ name = "eclipse-sdk-4.10";
+ description = "Eclipse 2018-12 Classic";
+ sources = {
+ "x86_64-linux" = fetchurl {
+ url = https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops4/R-4.10-201812060815/eclipse-SDK-4.10-linux-gtk-x86_64.tar.gz;
+ sha512 = "5e74a0411f56b3973b7c6d8c3727392297d55ad458a814b4cc3f2f6a57dbeebc64852d1a6a958db5c3b08c620093bfb5bcc0d2c6a400f5594b82c2ef5d5fa9fb";
+ };
+ };
+ };
+
eclipse-sdk-37 = buildEclipse {
name = "eclipse-sdk-3.7";
description = "Eclipse Classic";
diff --git a/pkgs/applications/editors/eclipse/plugins.nix b/pkgs/applications/editors/eclipse/plugins.nix
index 30f381644ac1..fbe96f2e8fb3 100644
--- a/pkgs/applications/editors/eclipse/plugins.nix
+++ b/pkgs/applications/editors/eclipse/plugins.nix
@@ -470,12 +470,12 @@ rec {
jdt = buildEclipseUpdateSite rec {
name = "jdt-${version}";
- version = "4.9";
+ version = "4.10";
src = fetchzip {
stripRoot = false;
- url = https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops4/R-4.9-201809060745/org.eclipse.jdt-4.9.zip;
- sha256 = "144rqrw0crxd2v862dqxm2p5y60n4pbzdryv709xnhcw54rycm7n";
+ url = https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops4/R-4.10-201812060815/org.eclipse.jdt-4.10.zip;
+ sha256 = "1h11w3zd6xy5w4sk6xnyb2a27wxwhp83qfx67ji7bzdrwbvljqkz";
};
meta = with stdenv.lib; {