nixpkgs/pkgs/desktops/xfce/panel-plugins/xfce4-whiskermenu-plugin.nix
2015-10-19 13:58:13 -04:00

30 lines
893 B
Nix

{ stdenv, fetchFromGitHub, cmake, pkgconfig, intltool, libxfce4util, libxfcegui4
, xfce4panel, gtk, exo, garcon }:
with stdenv.lib;
stdenv.mkDerivation rec {
p_name = "xfce4-whiskermenu-plugin";
ver_maj = "1.5";
ver_min = "1";
rev = "18c31a357c102ab38e98ac24c154f9e6187b3ef8";
name = "${p_name}-${ver_maj}.${ver_min}";
src = fetchFromGitHub {
owner = "gottcode";
repo = "xfce4-whiskermenu-plugin";
inherit rev;
sha256 = "442e887877ffc347378c23ded2466ebbfc7aacb6b91fc395b12071320616eb76";
};
buildInputs = [ cmake pkgconfig intltool libxfce4util libxfcegui4 xfce4panel
gtk exo garcon ];
meta = {
homepage = "http://goodies.xfce.org/projects/panel-plugins/${p_name}";
description = "Whisker Menu is an alternate application launcher for Xfce.";
platforms = platforms.linux;
maintainers = [ maintainers.pjbarnoy ];
};
}