Merge pull request #66824 from rasendubi/jetbrains-mps-2019.1.5

This commit is contained in:
Jörg Thalheim 2020-06-01 17:58:05 +01:00 committed by GitHub
commit 59aacec664
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -138,6 +138,24 @@ let
};
});
buildMps = { name, version, src, license, description, wmClass, ... }:
(mkJetBrainsProduct rec {
inherit name version src wmClass jdk;
product = "MPS";
meta = with stdenv.lib; {
homepage = https://www.jetbrains.com/mps/;
inherit license description;
longDescription = ''
A metaprogramming system which uses projectional editing
which allows users to overcome the limits of language
parsers, and build DSL editors, such as ones with tables and
diagrams.
'';
maintainers = with maintainers; [ rasendubi ];
platforms = platforms.linux;
};
});
buildPhpStorm = { name, version, src, license, description, wmClass, ... }:
(mkJetBrainsProduct {
inherit name version src wmClass jdk;
@ -313,6 +331,19 @@ in
update-channel = "IntelliJ IDEA RELEASE";
};
mps = buildMps rec {
name = "mps-${version}";
version = "2019.2";
description = "Create your own domain-specific language";
license = stdenv.lib.licenses.unfree;
src = fetchurl {
url = "https://download.jetbrains.com/mps/2019.2/MPS-${version}.tar.gz";
sha256 = "0rph3bibj74ddbyrn0az1npn4san4g1alci8nlq4gaqdlcz6zx22";
};
wmClass = "jetbrains-mps";
update-channel = "MPS RELEASE";
};
phpstorm = buildPhpStorm rec {
name = "phpstorm-${version}";
version = "2020.1.1"; /* updated by script */