at 18.03-beta 32 lines 886 B view raw
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}