2016-07-30 03:13:00 +01:00
|
|
|
{
|
2017-05-16 16:56:41 +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,
|
|
|
|
kwindowsystem, kxmlgui, qtscript
|
2016-04-21 17:00:51 +01:00
|
|
|
}:
|
|
|
|
|
2017-05-16 16:56:41 +01:00
|
|
|
mkDerivation {
|
|
|
|
name = "konsole";
|
|
|
|
meta = {
|
|
|
|
license = with lib.licenses; [ gpl2 lgpl21 fdl12 ];
|
|
|
|
maintainers = [ lib.maintainers.ttuegel ];
|
|
|
|
};
|
2017-05-17 20:26:11 +01:00
|
|
|
nativeBuildInputs = [ extra-cmake-modules kdoctools ];
|
|
|
|
buildInputs = [ ki18n ];
|
2017-05-16 16:56:41 +01:00
|
|
|
propagatedBuildInputs = [
|
2017-05-17 20:26:11 +01:00
|
|
|
kbookmarks kcompletion kconfig kconfigwidgets kcoreaddons kdelibs4support
|
|
|
|
kguiaddons kiconthemes kinit kio knotifications knotifyconfig kparts kpty
|
|
|
|
kservice ktextwidgets kwidgetsaddons kwindowsystem kxmlgui qtscript
|
2017-05-16 16:56:41 +01:00
|
|
|
];
|
2017-08-04 09:58:44 +01:00
|
|
|
propagatedUserEnvPkgs = [ (lib.getBin kinit) ];
|
2017-01-02 23:33:15 +00:00
|
|
|
}
|