1{stdenv, substituteAll, fetchFromGitHub, libtool, pkgconfig, intltool, glib, gtk3
2, libpulseaudio, mplayer, gnome_mplayer }:
3
4stdenv.mkDerivation rec {
5 name = "gmtk-${version}";
6 version = "1.0.9";
7
8 src = fetchFromGitHub {
9 owner = "kdekorte";
10 repo = "gmtk";
11 rev = "v${version}";
12 sha256 = "1zb5m1y1gckal3140gvx31572a6xpccwfmdwa1w5lx2wdq1pwk1i";
13 };
14
15 nativeBuildInputs = [ libtool pkgconfig intltool ];
16 buildInputs = [ glib gtk3 libpulseaudio ];
17
18 patches = [
19 (substituteAll {
20 src = ./fix-paths.patch;
21 mplayer = "${mplayer}/bin/mplayer";
22 })
23 ];
24
25 meta = with stdenv.lib; {
26 description = "Common functions for gnome-mplayer and gecko-mediaplayer";
27 homepage = https://sites.google.com/site/kdekorte2/gnomemplayer;
28 license = licenses.gpl2;
29 maintainers = gnome_mplayer.meta.maintainers;
30 platforms = platforms.linux;
31 };
32}