2016-07-30 03:13:00 +01:00
|
|
|
{
|
2019-09-23 16:06:43 +01:00
|
|
|
mkDerivation, lib,
|
2017-05-17 20:26:11 +01:00
|
|
|
extra-cmake-modules, kdoctools,
|
2016-07-30 03:13:00 +01:00
|
|
|
kbookmarks, kcompletion, kconfig, kconfigwidgets, kcoreaddons, kguiaddons,
|
|
|
|
ki18n, kiconthemes, kinit, kdelibs4support, kio, knotifications,
|
|
|
|
knotifyconfig, kparts, kpty, kservice, ktextwidgets, kwidgetsaddons,
|
2019-11-24 20:23:45 +00:00
|
|
|
kwindowsystem, kxmlgui, qtscript, knewstuff
|
2016-04-21 17:00:51 +01:00
|
|
|
}:
|
|
|
|
|
2017-05-16 16:56:41 +01:00
|
|
|
mkDerivation {
|
2020-12-24 23:05:07 +00:00
|
|
|
pname = "konsole";
|
2017-05-16 16:56:41 +01:00
|
|
|
meta = {
|
|
|
|
license = with lib.licenses; [ gpl2 lgpl21 fdl12 ];
|
2020-04-19 11:56:52 +01:00
|
|
|
maintainers = with lib.maintainers; [ ttuegel turion ];
|
2017-05-16 16:56:41 +01:00
|
|
|
};
|
2017-05-17 20:26:11 +01:00
|
|
|
nativeBuildInputs = [ extra-cmake-modules kdoctools ];
|
2017-06-21 14:51:31 +01:00
|
|
|
buildInputs = [
|
2017-05-17 20:26:11 +01:00
|
|
|
kbookmarks kcompletion kconfig kconfigwidgets kcoreaddons kdelibs4support
|
2017-06-21 14:51:31 +01:00
|
|
|
kguiaddons ki18n kiconthemes kinit kio knotifications knotifyconfig kparts kpty
|
2018-04-20 15:24:00 +01:00
|
|
|
kservice ktextwidgets kwidgetsaddons kwindowsystem kxmlgui qtscript knewstuff
|
2017-05-16 16:56:41 +01:00
|
|
|
];
|
2018-12-02 22:42:27 +00:00
|
|
|
|
2017-08-04 09:58:44 +01:00
|
|
|
propagatedUserEnvPkgs = [ (lib.getBin kinit) ];
|
2017-01-02 23:33:15 +00:00
|
|
|
}
|