2019-01-19 13:23:23 +01:00
|
|
|
{ stdenv, fetchurl, makeWrapper, jre }:
|
2015-05-23 12:41:07 +02:00
|
|
|
|
2019-01-19 13:23:23 +01:00
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
version = "13.2.1";
|
2019-08-15 14:41:18 +02:00
|
|
|
pname = "mediathekview";
|
2015-05-23 12:41:07 +02:00
|
|
|
src = fetchurl {
|
2019-01-19 13:23:23 +01:00
|
|
|
url = "https://download.mediathekview.de/stabil/MediathekView-${version}.tar.gz";
|
|
|
|
sha256 = "11wg6klviig0h7pprfaygamsgqr7drqra2s4yxgfak6665033l2a";
|
2015-05-23 12:41:07 +02:00
|
|
|
};
|
|
|
|
|
2019-01-19 13:23:23 +01:00
|
|
|
nativeBuildInputs = [ makeWrapper ];
|
|
|
|
|
2015-05-23 12:41:07 +02:00
|
|
|
installPhase = ''
|
2019-01-19 13:23:23 +01:00
|
|
|
mkdir -p $out/{lib,bin,share/mediathekview}
|
|
|
|
|
|
|
|
install -m644 MediathekView.jar $out/
|
|
|
|
install -m644 -t $out/lib lib/*
|
|
|
|
install -m755 bin/flv.sh $out/share/mediathekview
|
|
|
|
|
|
|
|
makeWrapper ${jre}/bin/java $out/bin/mediathek \
|
|
|
|
--add-flags "-cp '$out/lib/*' -jar $out/MediathekView.jar"
|
|
|
|
'';
|
2015-05-23 12:41:07 +02:00
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
2019-01-19 13:23:23 +01:00
|
|
|
description = "Offers access to the Mediathek of different tv stations (ARD, ZDF, Arte, etc.)";
|
|
|
|
homepage = https://mediathekview.de/;
|
|
|
|
license = licenses.gpl3;
|
2019-02-22 16:14:13 +01:00
|
|
|
maintainers = with maintainers; [ moredread ];
|
2019-01-19 13:23:23 +01:00
|
|
|
platforms = platforms.all;
|
2015-05-23 12:41:07 +02:00
|
|
|
};
|
|
|
|
}
|