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