eclipse-plugin-rustdt: init at 0.6.2
[Bjørn: sort alphabetially in plugins.nix, capitalize meta.description, add space around assignment operator, indent multi-line string.]
This commit is contained in:
parent
1196540a1d
commit
efb5206701
@ -358,6 +358,31 @@ rec {
|
|||||||
};
|
};
|
||||||
};
|
};
|
||||||
|
|
||||||
|
rustdt = buildEclipseUpdateSite rec {
|
||||||
|
name = "rustdt-${version}";
|
||||||
|
version = "0.6.2";
|
||||||
|
owner = "RustDT";
|
||||||
|
repo = "rustdt.github.io";
|
||||||
|
rev = "5cbe753008c40555c493092a6f4ae1ffbff0b3ce";
|
||||||
|
|
||||||
|
src = fetchzip {
|
||||||
|
stripRoot = false;
|
||||||
|
url = "https://github.com/${owner}/${repo}/archive/${rev}.zip";
|
||||||
|
sha256 = "1xfj4j27d1h4bdf2v7f78zi8lz4zkkj7s9kskmsqx5jcs2d459yp";
|
||||||
|
extraPostFetch =
|
||||||
|
''
|
||||||
|
mv "$out/${repo}-${rev}/releases/local-repo"/* "$out/"
|
||||||
|
'';
|
||||||
|
};
|
||||||
|
|
||||||
|
meta = with stdenv.lib; {
|
||||||
|
homepage = https://github.com/RustDT;
|
||||||
|
description = "Rust development tooling";
|
||||||
|
license = licenses.epl10;
|
||||||
|
platforms = platforms.all;
|
||||||
|
};
|
||||||
|
};
|
||||||
|
|
||||||
scala = buildEclipseUpdateSite rec {
|
scala = buildEclipseUpdateSite rec {
|
||||||
name = "scala-${version}";
|
name = "scala-${version}";
|
||||||
version = "4.4.1.201605041056";
|
version = "4.4.1.201605041056";
|
||||||
|
Loading…
x
Reference in New Issue
Block a user