eclipse-plugin-cup: use buildEclipsePlugin
Since the `buildEclipsePlugin` function now can cope with multiple plugin JARs we can avoid the workaround used by the cup plugin.
This commit is contained in:
parent
663d827b77
commit
b57981e1ea
@ -291,7 +291,7 @@ rec {
|
|||||||
};
|
};
|
||||||
};
|
};
|
||||||
|
|
||||||
cup = buildEclipsePluginBase rec {
|
cup = buildEclipsePlugin rec {
|
||||||
name = "cup-${version}";
|
name = "cup-${version}";
|
||||||
version = "1.1.0.201604221613";
|
version = "1.1.0.201604221613";
|
||||||
version_ = "1.0.0.201604221613";
|
version_ = "1.0.0.201604221613";
|
||||||
@ -301,31 +301,20 @@ rec {
|
|||||||
sha256 = "13nnsf0cqg02z3af6xg45rhcgiffsibxbx6h1zahjv7igvqgkyna";
|
sha256 = "13nnsf0cqg02z3af6xg45rhcgiffsibxbx6h1zahjv7igvqgkyna";
|
||||||
};
|
};
|
||||||
|
|
||||||
srcPlugin1 = fetchurl {
|
srcPlugins = [
|
||||||
url = "http://www2.in.tum.de/projects/cup/eclipse/plugins/CupReferencedLibraries_${version_}.jar";
|
(fetchurl {
|
||||||
sha256 = "0kif8kivrysprva1pxzajm88gi967qf7idhb6ga2xpvsdcris91j";
|
url = "http://www2.in.tum.de/projects/cup/eclipse/plugins/CupReferencedLibraries_${version_}.jar";
|
||||||
};
|
sha256 = "0kif8kivrysprva1pxzajm88gi967qf7idhb6ga2xpvsdcris91j";
|
||||||
|
})
|
||||||
|
|
||||||
srcPlugin2 = fetchurl {
|
(fetchurl {
|
||||||
url = "http://www2.in.tum.de/projects/cup/eclipse/plugins/de.tum.in.www2.CupPlugin_${version}.jar";
|
url = "http://www2.in.tum.de/projects/cup/eclipse/plugins/de.tum.in.www2.CupPlugin_${version}.jar";
|
||||||
sha256 = "022phbrsny3gb8npb6sxyqqxacx138q5bd7dq3gqxh3kprx5chbl";
|
sha256 = "022phbrsny3gb8npb6sxyqqxacx138q5bd7dq3gqxh3kprx5chbl";
|
||||||
};
|
})
|
||||||
|
];
|
||||||
srcs = [ srcFeature srcPlugin1 srcPlugin2 ];
|
|
||||||
|
|
||||||
propagatedBuildInputs = [ zest ];
|
propagatedBuildInputs = [ zest ];
|
||||||
|
|
||||||
phases = [ "installPhase" ];
|
|
||||||
|
|
||||||
installPhase = ''
|
|
||||||
dropinDir="$out/eclipse/dropins/${name}"
|
|
||||||
mkdir -p $dropinDir/features
|
|
||||||
unzip ${srcFeature} -d $dropinDir/features/
|
|
||||||
mkdir -p $dropinDir/plugins
|
|
||||||
cp -v ${srcPlugin1} $dropinDir/plugins/''${srcPlugin1#*-}
|
|
||||||
cp -v ${srcPlugin2} $dropinDir/plugins/''${srcPlugin2#*-}
|
|
||||||
'';
|
|
||||||
|
|
||||||
meta = with stdenv.lib; {
|
meta = with stdenv.lib; {
|
||||||
homepage = http://www2.cs.tum.edu/projects/cup/eclipse.php;
|
homepage = http://www2.cs.tum.edu/projects/cup/eclipse.php;
|
||||||
description = "IDE for developing CUP based parsers";
|
description = "IDE for developing CUP based parsers";
|
||||||
|
Loading…
x
Reference in New Issue
Block a user