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";
|
|
|
|
version = "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}";
|
2019-06-07 12:45:36 +01:00
|
|
|
sha256 = "01r92nili4v4pdmw4g5z0rsg1q7m7q3a5hjc47mnchgibdiissvl";
|
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 ];
|
|
|
|
};
|
|
|
|
}
|