webstorm: fix incorrect jre usuage

it tried to use its own jre, which is not patched

fixes #36943 #37328
This commit is contained in:
Jörg Thalheim 2018-03-22 11:27:02 +00:00
parent dfba22e28a
commit b9b08f8a09

View File

@ -211,7 +211,7 @@ let
});
buildWebStorm = { name, version, src, license, description, wmClass, update-channel }:
(mkJetBrainsProduct {
lib.overrideDerivation (mkJetBrainsProduct {
inherit name version src wmClass jdk;
product = "WebStorm";
meta = with stdenv.lib; {
@ -225,8 +225,13 @@ let
maintainers = with maintainers; [ abaldeau ];
platforms = platforms.linux;
};
}) (attrs: {
patchPhase = (attrs.patchPhase or "") + optionalString (stdenv.isLinux) ''
# Webstorm tries to use bundled jre if available.
# Lets prevent this for the moment
rm -r jre64
'';
});
in
{