2018-11-18 00:05:11 +00:00
|
|
|
{ stdenv, fetchurl, pkgconfig, gettext, gtk3, intltool,
|
|
|
|
wrapGAppsHook, libxml2, curl, mpd_clientlib, dbus-glib,
|
2015-03-14 06:46:17 +00:00
|
|
|
libsoup, avahi, taglib
|
|
|
|
}:
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2018-11-18 00:05:11 +00:00
|
|
|
version = "1.6";
|
2015-03-14 06:46:17 +00:00
|
|
|
name = "ario-${version}";
|
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
url = "mirror://sourceforge/ario-player/${name}.tar.gz";
|
2018-11-18 00:05:11 +00:00
|
|
|
sha256 = "16nhfb3h5pc7flagfdz7xy0iq6kvgy6h4bfpi523i57rxvlfshhl";
|
2015-03-14 06:46:17 +00:00
|
|
|
};
|
|
|
|
|
2018-11-18 00:05:11 +00:00
|
|
|
nativeBuildInputs = [ pkgconfig gettext intltool wrapGAppsHook ];
|
2015-03-14 06:46:17 +00:00
|
|
|
buildInputs = [
|
2018-11-18 00:05:11 +00:00
|
|
|
gtk3 libxml2 curl mpd_clientlib dbus-glib libsoup avahi taglib
|
2015-03-14 06:46:17 +00:00
|
|
|
];
|
|
|
|
|
|
|
|
meta = {
|
2018-11-18 00:05:11 +00:00
|
|
|
description = "GTK client for MPD (Music player daemon)";
|
2017-08-01 21:03:30 +01:00
|
|
|
homepage = http://ario-player.sourceforge.net/;
|
2015-03-14 06:46:17 +00:00
|
|
|
license = stdenv.lib.licenses.gpl2Plus;
|
|
|
|
maintainers = [ stdenv.lib.maintainers.garrison ];
|
|
|
|
platforms = stdenv.lib.platforms.all;
|
|
|
|
};
|
|
|
|
}
|