Merge pull request #31669 from romildo/new.jgmenu

jgmenu: init at 0.7.4
This commit is contained in:
Samuel Leathers 2017-11-15 09:21:59 -05:00 committed by GitHub
commit cdea07b29f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 42 additions and 0 deletions

View File

@ -0,0 +1,40 @@
{ stdenv, fetchFromGitHub, pkgconfig, python3Packages, pango, librsvg, libxml2, menu-cache, xorg }:
stdenv.mkDerivation rec {
name = "jgmenu-${version}";
version = "0.7.4";
src = fetchFromGitHub {
owner = "johanmalm";
repo = "jgmenu";
rev = "v${version}";
sha256 = "0vim7balxrxhbgq4jvf80lbh57xbw3qmhapy7n2iyv443ih4a7hi";
};
nativeBuildInputs = [
pkgconfig
python3Packages.wrapPython
];
buildInputs = [
pango
librsvg
libxml2
menu-cache
xorg.libXinerama
];
makeFlags = [ "prefix=$(out)" ];
postFixup = ''
wrapPythonProgramsIn "$out/lib/jgmenu"
'';
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;
platforms = platforms.unix;
maintainers = [ maintainers.romildo ];
};
}

View File

@ -15309,6 +15309,8 @@ with pkgs;
jedit = callPackage ../applications/editors/jedit { };
jgmenu = callPackage ../applications/misc/jgmenu { };
jigdo = callPackage ../applications/misc/jigdo { };
jitsi = callPackage ../applications/networking/instant-messengers/jitsi { };