2021-11-28 19:51:44 +01:00
|
|
|
{ lib
|
|
|
|
, mkXfceDerivation
|
2020-12-28 22:17:56 +01:00
|
|
|
, exo
|
|
|
|
, garcon
|
|
|
|
, glib
|
|
|
|
, gobject-introspection
|
|
|
|
, gtk3
|
|
|
|
, libdbusmenu-gtk3
|
2021-06-23 20:22:04 +02:00
|
|
|
, libwnck
|
2020-12-28 22:17:56 +01:00
|
|
|
, libxfce4ui
|
|
|
|
, libxfce4util
|
|
|
|
, tzdata
|
|
|
|
, vala
|
|
|
|
, xfconf
|
|
|
|
}:
|
2017-12-17 16:02:52 +01:00
|
|
|
|
2019-08-13 23:52:01 +02:00
|
|
|
mkXfceDerivation {
|
2017-12-17 16:02:52 +01:00
|
|
|
category = "xfce";
|
|
|
|
pname = "xfce4-panel";
|
2022-08-24 15:40:03 +02:00
|
|
|
version = "4.16.5";
|
2017-12-17 16:02:52 +01:00
|
|
|
|
2022-08-24 15:40:03 +02:00
|
|
|
sha256 = "sha256-RK4sEir8CvB1aa2dZWJftA+2n4YPUEkhF9afOfOTA0Y=";
|
2017-12-17 16:02:52 +01:00
|
|
|
|
2020-12-28 22:17:56 +01:00
|
|
|
nativeBuildInputs = [
|
|
|
|
gobject-introspection
|
|
|
|
vala
|
|
|
|
];
|
|
|
|
|
|
|
|
buildInputs = [
|
|
|
|
exo
|
|
|
|
garcon
|
|
|
|
libdbusmenu-gtk3
|
|
|
|
libxfce4ui
|
2021-06-23 20:22:04 +02:00
|
|
|
libwnck
|
2020-12-28 22:17:56 +01:00
|
|
|
xfconf
|
|
|
|
tzdata
|
|
|
|
];
|
|
|
|
|
|
|
|
propagatedBuildInputs = [
|
|
|
|
glib
|
|
|
|
gtk3
|
|
|
|
libxfce4util
|
|
|
|
];
|
2017-12-17 16:02:52 +01:00
|
|
|
|
2019-11-04 22:27:22 +01:00
|
|
|
patches = [ ./xfce4-panel-datadir.patch ];
|
2018-07-18 01:05:54 +02:00
|
|
|
|
|
|
|
postPatch = ''
|
2018-08-02 14:08:44 +02:00
|
|
|
substituteInPlace plugins/clock/clock.c \
|
2019-08-17 06:04:35 +02:00
|
|
|
--replace "/usr/share/zoneinfo" "${tzdata}/share/zoneinfo"
|
2018-07-18 01:05:54 +02:00
|
|
|
'';
|
|
|
|
|
2020-12-28 22:17:56 +01:00
|
|
|
# Workaround https://bugzilla.xfce.org/show_bug.cgi?id=15825
|
|
|
|
NIX_CFLAGS_COMPILE = "-I${glib.dev}/include/gio-unix-2.0";
|
2018-07-18 01:05:54 +02:00
|
|
|
|
2021-11-28 19:51:44 +01:00
|
|
|
meta = with lib; {
|
2021-05-06 15:05:38 +02:00
|
|
|
description = "Panel for the Xfce desktop environment";
|
2021-11-28 19:51:44 +01:00
|
|
|
maintainers = with maintainers; [ ] ++ teams.xfce.members;
|
2017-12-17 16:02:52 +01:00
|
|
|
};
|
|
|
|
}
|