mbed-cli: init at 1.8.3 (#53954)

This commit is contained in:
Roman Volosatovs 2019-01-14 23:47:12 +01:00 committed by Robert Schütz
parent 80290b95b8
commit 8b925a8f32
2 changed files with 25 additions and 0 deletions

View file

@ -0,0 +1,23 @@
{ lib, python3Packages }:
with python3Packages;
buildPythonApplication rec {
pname = "mbed-cli";
version = "1.8.3";
src = fetchPypi {
inherit pname version;
sha256 = "04vn2v0d7y3vmm8cswzvn2z85balgp3095n5flvgf3r60fdlhlmp";
};
doCheck = false; # no tests available in Pypi
meta = with lib; {
homepage = https://github.com/ARMmbed/mbed-cli;
description = "Arm Mbed Command Line Interface";
license = licenses.asl20;
maintainers = with maintainers; [ rvolosatovs ];
};
}

View file

@ -8842,6 +8842,8 @@ in
mage = callPackage ../development/tools/build-managers/mage { };
mbed-cli = callPackage ../development/tools/mbed-cli { };
minify = callPackage ../development/web/minify { };
minizinc = callPackage ../development/tools/minizinc { };