diff options
author | Franz Pletz <fpletz@fnordicwalking.de> | 2016-05-18 17:10:02 +0200 |
---|---|---|
committer | Franz Pletz <fpletz@fnordicwalking.de> | 2016-05-18 17:10:02 +0200 |
commit | f8d481754cf842ca6e6ac1427ce0f571f5a44108 (patch) | |
tree | 70e702285987429aed275e0d5e2dc15c050e1f8c /pkgs/desktops/xfce/panel-plugins/xfce4-whiskermenu-plugin.nix | |
parent | 9fbc20e2f89bc045efac7ade41949a2c2d571dec (diff) | |
parent | 3cd63ade1614d4c581735ffb0cebe181bf87dfc8 (diff) |
Merge remote-tracking branch 'origin/master' into hardened-stdenv
Diffstat (limited to 'pkgs/desktops/xfce/panel-plugins/xfce4-whiskermenu-plugin.nix')
-rw-r--r-- | pkgs/desktops/xfce/panel-plugins/xfce4-whiskermenu-plugin.nix | 22 |
1 files changed, 12 insertions, 10 deletions
diff --git a/pkgs/desktops/xfce/panel-plugins/xfce4-whiskermenu-plugin.nix b/pkgs/desktops/xfce/panel-plugins/xfce4-whiskermenu-plugin.nix index ff4e89a23cf36..e4c4486558322 100644 --- a/pkgs/desktops/xfce/panel-plugins/xfce4-whiskermenu-plugin.nix +++ b/pkgs/desktops/xfce/panel-plugins/xfce4-whiskermenu-plugin.nix @@ -4,30 +4,32 @@ with stdenv.lib; stdenv.mkDerivation rec { p_name = "xfce4-whiskermenu-plugin"; - ver_maj = "1.5"; - ver_min = "2"; - rev = "d08418c8d55edfacef190ec14e03e1e9a6988101"; + version = "1.5.3"; - name = "${p_name}-${ver_maj}.${ver_min}"; + name = "${p_name}-${version}"; src = fetchFromGitHub { owner = "gottcode"; repo = "xfce4-whiskermenu-plugin"; - inherit rev; - sha256 = "0icphm6bm5p3csh9kwyyvkj2y87shrs12clfifbhv35dm0skb2dx"; + rev = "v${version}"; + sha256 = "07gmf9x3pw6xajklj0idahbnv0psnkhiqhb88bmkp344jirsx6ba"; }; - buildInputs = [ cmake pkgconfig intltool libxfce4util libxfcegui4 xfce4panel - gtk exo garcon ]; + nativeBuildInputs = [ cmake pkgconfig intltool ]; + + buildInputs = [ libxfce4util libxfcegui4 xfce4panel gtk exo garcon ]; + + enableParallelBuilding = true; preFixup = '' substituteInPlace $out/bin/xfce4-popup-whiskermenu \ - --replace $out/bin/xfce4-panel ${xfce4panel}/bin/xfce4-panel + --replace $out/bin/xfce4-panel ${xfce4panel.out}/bin/xfce4-panel ''; meta = { homepage = "http://goodies.xfce.org/projects/panel-plugins/${p_name}"; - description = "Whisker Menu is an alternate application launcher for Xfce"; + description = "Alternate application launcher for Xfce"; + license = licenses.gpl2Plus; platforms = platforms.linux; maintainers = [ maintainers.pjbarnoy ]; }; |