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