2018-08-18 23:52:48 +01:00
|
|
|
{
|
|
|
|
mkDerivation, lib,
|
|
|
|
extra-cmake-modules, kdoctools,
|
|
|
|
baloo, baloo-widgets, kactivities, kbookmarks, kcmutils,
|
2021-05-11 20:36:08 +01:00
|
|
|
kcompletion, kconfig, kcoreaddons, kdbusaddons,
|
2018-08-18 23:52:48 +01:00
|
|
|
kfilemetadata, ki18n, kiconthemes, kinit, kio, knewstuff, knotifications,
|
|
|
|
kparts, ktexteditor, kwindowsystem, phonon, solid, phonon-backend-gstreamer
|
|
|
|
}:
|
|
|
|
|
|
|
|
mkDerivation {
|
2020-12-24 23:05:07 +00:00
|
|
|
pname = "dragon";
|
2018-08-18 23:52:48 +01:00
|
|
|
meta = {
|
2021-09-18 10:48:23 +01:00
|
|
|
homepage = "https://apps.kde.org/dragonplayer/";
|
2018-08-18 23:52:48 +01:00
|
|
|
license = with lib.licenses; [ gpl2 fdl12 ];
|
|
|
|
description = "A simple media player for KDE";
|
2018-08-19 16:36:17 +01:00
|
|
|
maintainers = [ lib.maintainers.jonathanreeve ];
|
2018-08-18 23:52:48 +01:00
|
|
|
};
|
|
|
|
nativeBuildInputs = [ extra-cmake-modules kdoctools ];
|
|
|
|
propagatedBuildInputs = [
|
|
|
|
baloo baloo-widgets kactivities kbookmarks kcmutils kcompletion kconfig
|
2021-05-11 20:36:08 +01:00
|
|
|
kcoreaddons kdbusaddons kfilemetadata ki18n kiconthemes
|
2018-08-18 23:52:48 +01:00
|
|
|
kinit kio knewstuff knotifications kparts ktexteditor kwindowsystem
|
|
|
|
phonon solid phonon-backend-gstreamer
|
|
|
|
];
|
|
|
|
outputs = [ "out" "dev" ];
|
|
|
|
}
|