nixpkgs/pkgs/applications/misc/jgmenu/default.nix

47 lines
1.0 KiB
Nix
Raw Normal View History

2019-06-07 12:45:36 +01:00
{ stdenv, fetchFromGitHub, pkgconfig, python3Packages, pango, librsvg, libxml2, menu-cache, xorg, makeWrapper }:
2017-11-14 18:28:02 +00:00
stdenv.mkDerivation rec {
2019-06-07 12:45:36 +01:00
pname = "jgmenu";
2020-01-06 16:22:36 +00:00
version = "4.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}";
2020-01-06 16:22:36 +00:00
sha256 = "1s9291y38k4adc2wqj7plfhj431nf36zs262jm6mmb2fs910ncgv";
2017-11-14 18:28:02 +00:00
};
nativeBuildInputs = [
pkgconfig
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
2017-11-14 18:28:02 +00:00
];
2019-06-07 12:45:36 +01:00
makeFlags = [ "prefix=${placeholder "out"}" ];
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
'';
meta = with stdenv.lib; {
homepage = https://github.com/johanmalm/jgmenu;
description = "Small X11 menu intended to be used with openbox and tint2";
license = licenses.gpl2;
2018-03-19 22:46:33 +00:00
platforms = platforms.linux;
2017-11-14 18:28:02 +00:00
maintainers = [ maintainers.romildo ];
};
}