From 55d93854cedbf5599a8d472ac20582c74b43c875 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B8rn=20Forsman?= Date: Wed, 12 Aug 2015 23:07:44 +0200 Subject: [PATCH] eclipse-gnuarmeclipse (plugin): init at 2.8.1-201504061754 --- pkgs/applications/editors/eclipse/plugins.nix | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/pkgs/applications/editors/eclipse/plugins.nix b/pkgs/applications/editors/eclipse/plugins.nix index f449b192ac1..284ea911724 100644 --- a/pkgs/applications/editors/eclipse/plugins.nix +++ b/pkgs/applications/editors/eclipse/plugins.nix @@ -254,6 +254,25 @@ rec { }; }; + gnuarmeclipse = buildEclipseUpdateSite rec { + name = "gnuarmeclipse-${version}"; + version = "2.8.1-201504061754"; + + src = fetchzip { + stripRoot = false; + url = "mirror://sourceforge/project/gnuarmeclipse/Current%20Releases/2.x/ilg.gnuarmeclipse.repository-${version}.zip"; + sha256 = "08jsnyis1ry62cidr9sl11ylyxbkwh834nlhx6qp31gh1l439px9"; + }; + + meta = with stdenv.lib; { + homepage = http://gnuarmeclipse.livius.net/; + description = "GNU ARM Eclipse Plug-ins"; + license = licenses.epl10; + platforms = platforms.all; + maintainers = [ maintainers.bjornfor ]; + }; + }; + jdt = buildEclipseUpdateSite rec { name = "jdt-${version}"; version = "4.5";