733d902299
This commit also introduces some infrastructure surrounding Eclipse plugins.
55 lines
1.5 KiB
Nix
55 lines
1.5 KiB
Nix
{ stdenv, fetchurl, unzip }:
|
|
|
|
let
|
|
|
|
# Helper for the common case where we have separate feature and
|
|
# plugin JARs.
|
|
buildEclipsePlugin = { name, version, javaName, srcFeature, srcPlugin, meta }:
|
|
stdenv.mkDerivation {
|
|
name = "eclipse-" + name;
|
|
inherit meta;
|
|
|
|
srcs = [ srcFeature srcPlugin ];
|
|
|
|
buildInputs = [ unzip ];
|
|
phases = [ "installPhase" ];
|
|
|
|
installPhase = ''
|
|
dropinDir="$out/eclipse/dropins/${name}"
|
|
mkdir -p $dropinDir/features/${javaName}_${version}
|
|
unzip ${srcFeature} -d $dropinDir/features/${javaName}_${version}
|
|
|
|
mkdir -p $dropinDir/plugins
|
|
cp -v ${srcPlugin} $dropinDir/plugins/${javaName}_${version}.jar
|
|
'';
|
|
|
|
};
|
|
|
|
in {
|
|
|
|
anyedittools = buildEclipsePlugin rec {
|
|
name = "anyedit-${version}";
|
|
version = "2.4.15.201504172030";
|
|
javaName = "de.loskutov.anyedit.AnyEditTools";
|
|
|
|
srcFeature = fetchurl {
|
|
url = "http://andrei.gmxhome.de/eclipse/features/AnyEditTools_${version}.jar";
|
|
sha256 = "19hbwgqn02ghflbcp5cw3qy203mym5kwgzq4xrn0xcl8ckl5s2pp";
|
|
};
|
|
|
|
srcPlugin = fetchurl {
|
|
url = "http://dl.bintray.com/iloveeclipse/plugins/${javaName}_${version}.jar";
|
|
sha256 = "1i3ghf2mhdfhify30hlyxqmyqcp40pkd5zhsiyg6finn4w81sxv2";
|
|
};
|
|
|
|
meta = with stdenv.lib; {
|
|
homepage = http://andrei.gmxhome.de/anyedit/;
|
|
description = "Adds new tools to the context menu of text-based editors";
|
|
license = licenses.epl10;
|
|
platforms = platforms.all;
|
|
maintainers = [ maintainers.rycee ];
|
|
};
|
|
};
|
|
|
|
}
|