swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-10-01 01:20:17 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #87597 from romildo/upd.jgmenu

Browse source 
jgmenu: optionally install a xfce4 panel plugin
This commit is contained in:
José Romildo Malaquias 2020-05-14 19:44:47 -03:00 committed by GitHub
parent 54b7ad9e71 be7b83b460
commit effd2173c9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 23 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
pkgs/applications/misc/jgmenu/default.nix
View file

@ -1,4 +1,17 @@
{ stdenv, fetchFromGitHub, pkgconfig, python3Packages, pango, librsvg, libxml2, menu-cache, xorg, makeWrapper }:
{ stdenv
, fetchFromGitHub
, pkgconfig
, python3Packages
, pango
, librsvg
, libxml2
, menu-cache
, xorg
, makeWrapper
, enableXfcePanelApplet ? false
, xfce
, gtk3
}:
stdenv.mkDerivation rec {
pname = "jgmenu";
@ -25,9 +38,17 @@ stdenv.mkDerivation rec {
xorg.libXinerama
xorg.libXrandr
python3Packages.python
] ++ stdenv.lib.optionals enableXfcePanelApplet [
gtk3
xfce.libxfce4util
xfce.xfce4-panel
];
makeFlags = [ "prefix=${placeholder "out"}" ];
configureFlags = [
]
++ stdenv.lib.optionals enableXfcePanelApplet [
"--with-xfce4-panel-applet"
];
postFixup = ''
wrapPythonProgramsIn "$out/lib/jgmenu"