2015-10-04 02:59:15 -07:00
|
|
|
{ stdenv, fetchurl, pkgconfig, python3, udev, systemd }:
|
2015-02-21 08:56:38 -08:00
|
|
|
|
|
|
|
let
|
|
|
|
name = "media-player-info-22";
|
|
|
|
in
|
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
|
|
|
inherit name;
|
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
url = "http://www.freedesktop.org/software/media-player-info/${name}.tar.gz";
|
|
|
|
sha256 = "0di3gfx5z8c34yspzyllydr5snzg71r985kbqhrhb1il51qxgrvy";
|
|
|
|
};
|
|
|
|
|
2015-10-04 02:59:15 -07:00
|
|
|
buildInputs = [ udev systemd ];
|
2015-02-21 08:56:38 -08:00
|
|
|
nativeBuildInputs = [ pkgconfig python3 ];
|
|
|
|
|
2015-02-25 10:07:37 -08:00
|
|
|
postPatch = ''
|
|
|
|
patchShebangs ./tools
|
|
|
|
'';
|
|
|
|
|
2015-02-21 08:56:38 -08:00
|
|
|
preConfigure = ''
|
|
|
|
configureFlags="$configureFlags --with-udevdir=$out/lib/udev"
|
|
|
|
'';
|
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
|
|
|
description = "A repository of data files describing media player capabilities";
|
|
|
|
homepage = "http://www.freedesktop.org/wiki/Software/media-player-info/";
|
2015-05-28 10:20:29 -07:00
|
|
|
license = licenses.bsd3;
|
2016-02-10 05:59:36 -08:00
|
|
|
maintainers = with maintainers; [ ttuegel ];
|
2016-08-02 10:50:55 -07:00
|
|
|
platforms = with platforms; linux;
|
2015-02-21 08:56:38 -08:00
|
|
|
};
|
|
|
|
}
|