nixpkgs/pkgs/desktops/xfce/panel-plugins/xfce4-pulseaudio-plugin.nix

37 lines
1.1 KiB
Nix
Raw Normal View History

2015-11-01 05:01:08 +01:00
{ stdenv, fetchurl, pkgconfig, intltool, libxfce4util, xfce4panel_gtk3, xfconf
, gtk3, libpulseaudio
, withKeybinder ? true, keybinder3
, withLibnotify ? true, libnotify
}:
assert withKeybinder -> keybinder3 != null;
assert withLibnotify -> libnotify != null;
with stdenv.lib;
stdenv.mkDerivation rec {
p_name = "xfce4-pulseaudio-plugin";
ver_maj = "0.2";
ver_min = "3";
src = fetchurl {
url = "mirror://xfce/src/panel-plugins/${p_name}/${ver_maj}/${name}.tar.bz2";
sha256 = "e82836bc8cf7d905b4e60d43dc630ba8e32dea785989700c71d4aeee9f583b33";
};
name = "${p_name}-${ver_maj}.${ver_min}";
nativeBuildInputs = [ pkgconfig intltool ];
buildInputs = [ libxfce4util xfce4panel_gtk3 xfconf gtk3 libpulseaudio ]
++ optional withKeybinder keybinder3
++ optional withLibnotify libnotify;
preFixup = "rm $out/share/icons/hicolor/icon-theme.cache";
meta = {
homepage = "http://goodies.xfce.org/projects/panel-plugins/${p_name}";
description = "Adjust the audio volume of the PulseAudio sound system";
platforms = platforms.linux;
maintainers = [ ];
};
}