eclipse/plugins: remove phases
fields
This commit is contained in:
parent
81154d929a
commit
3edc01d5d7
|
@ -24,9 +24,7 @@ rec {
|
||||||
buildEclipsePluginBase (attrs // {
|
buildEclipsePluginBase (attrs // {
|
||||||
srcs = [ srcFeature srcPlugin ];
|
srcs = [ srcFeature srcPlugin ];
|
||||||
|
|
||||||
phases = [ "installPhase" ];
|
buildCommand = ''
|
||||||
|
|
||||||
installPhase = ''
|
|
||||||
dropinDir="$out/eclipse/dropins/${name}"
|
dropinDir="$out/eclipse/dropins/${name}"
|
||||||
|
|
||||||
mkdir -p $dropinDir/features
|
mkdir -p $dropinDir/features
|
||||||
|
@ -35,7 +33,6 @@ rec {
|
||||||
mkdir -p $dropinDir/plugins
|
mkdir -p $dropinDir/plugins
|
||||||
cp -v ${srcPlugin} $dropinDir/plugins/${name}.jar
|
cp -v ${srcPlugin} $dropinDir/plugins/${name}.jar
|
||||||
'';
|
'';
|
||||||
|
|
||||||
});
|
});
|
||||||
|
|
||||||
# Helper for the case where the build directory has the layout of an
|
# Helper for the case where the build directory has the layout of an
|
||||||
|
@ -44,7 +41,8 @@ rec {
|
||||||
# directories will be installed.
|
# directories will be installed.
|
||||||
buildEclipseUpdateSite = { name, ... } @ attrs:
|
buildEclipseUpdateSite = { name, ... } @ attrs:
|
||||||
buildEclipsePluginBase (attrs // {
|
buildEclipsePluginBase (attrs // {
|
||||||
phases = [ "unpackPhase" "installPhase" ];
|
dontBuild = true;
|
||||||
|
doCheck = false;
|
||||||
|
|
||||||
installPhase = ''
|
installPhase = ''
|
||||||
dropinDir="$out/eclipse/dropins/${name}"
|
dropinDir="$out/eclipse/dropins/${name}"
|
||||||
|
|
Loading…
Reference in a new issue