public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

eclipses: 2020-12 -> 2021-03

Browse Source 
* remove the jdt plugin, as it's not longer packaged separately on the
  eclipse download site :-(
  https://www.eclipse.org/forums/index.php/t/1107570/

* add eclipse-jee as a second option for those who need jdt

* remove eclipses.rust

    this build was present at:

    https://www.eclipse.org/downloads/packages/release/2020-12/r
    https://www.eclipse.org/downloads/packages/release/2021-03/m2

    but is not present at:

    https://www.eclipse.org/downloads/packages/release/2021-03/m3
    https://www.eclipse.org/downloads/packages/release/2021-03/rc1
    https://www.eclipse.org/downloads/packages/release/2021-03/r

    https://projects.eclipse.org/projects/tools.corrosion seems to
    point users to install as a plugin rather than a top-level eclipse
    package.
This commit is contained in:
Matt McHenry
2021-04-24 12:02:30 -04:00
parent d235056d6d
commit 1e67ddbf60
2 changed files with 27 additions and 45 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/applications/editors/eclipse/plugins.nix
+3 -21
View File
@@ -248,12 +248,12 @@ rec {
cdt = buildEclipseUpdateSite rec {
name = "cdt-${version}";
# find current version at https://www.eclipse.org/cdt/downloads.php
version = "10.1.0";
version = "10.2.0";
src = fetchzip {
stripRoot = false;
url = "https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/tools/cdt/releases/10.1/${name}/${name}.zip";
sha256 = "1hbswcar3a5cw20mwrj82w9pvpkvvj6jrvqqf1lincva0r5sl7h8";
url = "https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/tools/cdt/releases/10.2/${name}/${name}.zip";
sha256 = "1r30cbpbzw3dfcsn54p6sqip86dqhydhsppjgaz60b6z138vzx49";
};
meta = with lib; {
@@ -474,24 +474,6 @@ rec {
};
};
jdt = buildEclipseUpdateSite rec {
name = "jdt-${version}";
version = "4.18";
src = fetchzip {
stripRoot = false;
url = "https://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/eclipse/downloads/drops4/R-${version}-202012021800/org.eclipse.jdt-${version}.zip";
sha256 = "q0O6OE2u0bdz1+nOkzXDrrOOzoEbVaXnejx4lX7uZgk=";
};
meta = with lib; {
homepage = "https://www.eclipse.org/jdt/";
description = "Eclipse Java development tools";
license = licenses.epl10;
platforms = platforms.all;
};
};
jdt-codemining = buildEclipsePlugin rec {
name = "jdt-codemining-${version}";
version = "1.0.0.201806221018";