eclipse-platform: add latest version 4.6

[Bjørn: tweak commit message, make it clear that this is the
eclipse-platform variant.]
This commit is contained in:
Karn Kallio 2016-07-03 10:59:44 -04:00 committed by Bjørn Forsman
parent 1e2d0205a8
commit cdc50d05d8

View File

@ -312,7 +312,7 @@ rec {
};
eclipse_sdk_451 = eclipse-sdk-451; # backward compatibility, added 2016-01-30
eclipse-platform = eclipse-platform-452;
eclipse-platform = eclipse-platform-46;
eclipse-platform-45 = buildEclipse {
name = "eclipse-platform-4.5";
@ -359,6 +359,21 @@ rec {
};
};
eclipse-platform-46 = buildEclipse {
name = "eclipse-platform-4.6";
description = "Eclipse platform";
sources = {
"x86_64-linux" = fetchurl {
url = https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops4/R-4.6-201606061100/eclipse-SDK-4.6-linux-gtk-x86_64.tar.gz;
sha256 = "02lfa0f4j53q4ks3nal4jxnm1vc6xck2k9zng58izfh49v73jyjd";
};
"i686-linux" = fetchurl {
url = https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops4/R-4.6-201606061100/eclipse-SDK-4.6-linux-gtk.tar.gz;
sha256 = "053hsy87jmr9phn934a4qny959d6inxjx8nlcmxa2165ra8d7qfr";
};
};
};
eclipseWithPlugins = { eclipse, plugins ? [], jvmArgs ? [] }:
let
# Gather up the desired plugins.