tjh.dev
1{
2 mkDerivation,
3 lib,
4 extra-cmake-modules,
5 kdoctools,
6 baloo,
7 baloo-widgets,
8 kactivities,
9 kbookmarks,
10 kcmutils,
11 kcompletion,
12 kconfig,
13 kcoreaddons,
14 kdbusaddons,
15 kfilemetadata,
16 ki18n,
17 kiconthemes,
18 kinit,
19 kio,
20 knewstuff,
21 knotifications,
22 kparts,
23 ktexteditor,
24 kwindowsystem,
25 phonon,
26 solid,
27 phonon-backend-gstreamer,
28}:
29
30mkDerivation {
31 pname = "dragon";
32 meta = {
33 homepage = "https://apps.kde.org/dragonplayer/";
34 license = with lib.licenses; [
35 gpl2Plus
36 fdl12Plus
37 ];
38 description = "Simple media player for KDE";
39 mainProgram = "dragon";
40 maintainers = [ lib.maintainers.jonathanreeve ];
41 };
42 nativeBuildInputs = [
43 extra-cmake-modules
44 kdoctools
45 ];
46 propagatedBuildInputs = [
47 baloo
48 baloo-widgets
49 kactivities
50 kbookmarks
51 kcmutils
52 kcompletion
53 kconfig
54 kcoreaddons
55 kdbusaddons
56 kfilemetadata
57 ki18n
58 kiconthemes
59 kinit
60 kio
61 knewstuff
62 knotifications
63 kparts
64 ktexteditor
65 kwindowsystem
66 phonon
67 solid
68 phonon-backend-gstreamer
69 ];
70 outputs = [
71 "out"
72 "dev"
73 ];
74}