2015-10-19 19:58:13 +02:00
|
|
|
{ stdenv, fetchFromGitHub, cmake, pkgconfig, intltool, libxfce4util, libxfcegui4
|
2018-03-12 23:55:30 +01:00
|
|
|
, xfce4-panel, gtk, exo, garcon }:
|
2015-10-19 19:58:13 +02:00
|
|
|
|
|
|
|
with stdenv.lib;
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
p_name = "xfce4-whiskermenu-plugin";
|
2017-04-21 15:16:25 +02:00
|
|
|
version = "1.7.2";
|
2015-10-19 19:58:13 +02:00
|
|
|
|
2016-05-04 00:13:09 +02:00
|
|
|
name = "${p_name}-${version}";
|
2015-10-19 19:58:13 +02:00
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "gottcode";
|
|
|
|
repo = "xfce4-whiskermenu-plugin";
|
2016-05-04 00:13:09 +02:00
|
|
|
rev = "v${version}";
|
2017-04-21 15:16:25 +02:00
|
|
|
sha256 = "1rpazgnjp443abc31bgi6gp9q3sgbg13v7v74nn7vf6kl4v725ah";
|
2015-10-19 19:58:13 +02:00
|
|
|
};
|
|
|
|
|
2016-05-04 00:13:09 +02:00
|
|
|
nativeBuildInputs = [ cmake pkgconfig intltool ];
|
|
|
|
|
2018-03-12 23:55:30 +01:00
|
|
|
buildInputs = [ libxfce4util libxfcegui4 xfce4-panel gtk exo garcon ];
|
2016-05-04 00:13:09 +02:00
|
|
|
|
|
|
|
enableParallelBuilding = true;
|
2015-10-19 19:58:13 +02:00
|
|
|
|
2016-02-21 13:24:43 +01:00
|
|
|
preFixup = ''
|
|
|
|
substituteInPlace $out/bin/xfce4-popup-whiskermenu \
|
2018-03-12 23:55:30 +01:00
|
|
|
--replace $out/bin/xfce4-panel ${xfce4-panel.out}/bin/xfce4-panel
|
2016-02-21 13:24:43 +01:00
|
|
|
'';
|
|
|
|
|
2015-10-19 19:58:13 +02:00
|
|
|
meta = {
|
|
|
|
homepage = "http://goodies.xfce.org/projects/panel-plugins/${p_name}";
|
2016-05-04 00:13:09 +02:00
|
|
|
description = "Alternate application launcher for Xfce";
|
|
|
|
license = licenses.gpl2Plus;
|
2015-10-19 19:58:13 +02:00
|
|
|
platforms = platforms.linux;
|
|
|
|
maintainers = [ maintainers.pjbarnoy ];
|
|
|
|
};
|
|
|
|
}
|