2021-01-11 07:54:33 +00:00
|
|
|
{ lib, stdenv
|
2020-05-11 11:42:33 +01:00
|
|
|
, fetchFromGitHub
|
2021-01-17 02:09:27 +00:00
|
|
|
, pkg-config
|
2020-05-11 11:42:33 +01:00
|
|
|
, python3Packages
|
|
|
|
, pango
|
|
|
|
, librsvg
|
|
|
|
, libxml2
|
|
|
|
, menu-cache
|
|
|
|
, xorg
|
|
|
|
, makeWrapper
|
2020-05-11 12:28:29 +01:00
|
|
|
, enableXfcePanelApplet ? false
|
|
|
|
, xfce
|
|
|
|
, gtk3
|
2020-05-11 11:42:33 +01:00
|
|
|
}:
|
2017-11-14 18:28:02 +00:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2019-06-07 12:45:36 +01:00
|
|
|
pname = "jgmenu";
|
2021-01-30 05:35:56 +00:00
|
|
|
version = "4.3.0";
|
2017-11-14 18:28:02 +00:00
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "johanmalm";
|
2019-06-07 12:45:36 +01:00
|
|
|
repo = pname;
|
2017-11-14 18:28:02 +00:00
|
|
|
rev = "v${version}";
|
2021-01-30 05:35:56 +00:00
|
|
|
sha256 = "sha256-+JO/A7+6/yeYz0tP7vxSi04cS1bEet+3sAs7CYXKxI8=";
|
2017-11-14 18:28:02 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
nativeBuildInputs = [
|
2021-01-17 02:09:27 +00:00
|
|
|
pkg-config
|
2019-06-07 12:45:36 +01:00
|
|
|
makeWrapper
|
2017-11-14 18:28:02 +00:00
|
|
|
python3Packages.wrapPython
|
|
|
|
];
|
|
|
|
|
|
|
|
buildInputs = [
|
|
|
|
pango
|
|
|
|
librsvg
|
|
|
|
libxml2
|
|
|
|
menu-cache
|
|
|
|
xorg.libXinerama
|
2019-06-07 12:45:36 +01:00
|
|
|
xorg.libXrandr
|
|
|
|
python3Packages.python
|
2021-01-15 05:42:41 +00:00
|
|
|
] ++ lib.optionals enableXfcePanelApplet [
|
2020-05-11 12:28:29 +01:00
|
|
|
gtk3
|
|
|
|
xfce.libxfce4util
|
|
|
|
xfce.xfce4-panel
|
|
|
|
];
|
|
|
|
|
|
|
|
configureFlags = [
|
|
|
|
]
|
2021-01-15 05:42:41 +00:00
|
|
|
++ lib.optionals enableXfcePanelApplet [
|
2020-05-11 12:28:29 +01:00
|
|
|
"--with-xfce4-panel-applet"
|
2017-11-14 18:28:02 +00:00
|
|
|
];
|
|
|
|
|
|
|
|
postFixup = ''
|
|
|
|
wrapPythonProgramsIn "$out/lib/jgmenu"
|
2019-06-07 12:45:36 +01:00
|
|
|
for f in $out/bin/jgmenu{,_run}; do
|
|
|
|
wrapProgram $f --prefix PATH : $out/bin
|
|
|
|
done
|
2017-11-14 18:28:02 +00:00
|
|
|
'';
|
|
|
|
|
2021-01-11 07:54:33 +00:00
|
|
|
meta = with lib; {
|
2020-03-05 02:38:48 +00:00
|
|
|
homepage = "https://github.com/johanmalm/jgmenu";
|
2017-11-14 18:28:02 +00:00
|
|
|
description = "Small X11 menu intended to be used with openbox and tint2";
|
2021-02-08 00:55:34 +00:00
|
|
|
license = licenses.gpl2Plus;
|
2018-03-19 22:46:33 +00:00
|
|
|
platforms = platforms.linux;
|
2017-11-14 18:28:02 +00:00
|
|
|
maintainers = [ maintainers.romildo ];
|
|
|
|
};
|
|
|
|
}
|