2022-10-09 10:40:07 +00:00
|
|
|
{ lib, stdenv, fetchurl, makeWrapper, libglvnd, libnotify, jre, zip }:
|
2015-05-23 10:41:07 +00:00
|
|
|
|
2019-01-19 12:23:23 +00:00
|
|
|
stdenv.mkDerivation rec {
|
2022-10-09 10:40:07 +00:00
|
|
|
version = "13.9.1";
|
2019-08-15 12:41:18 +00:00
|
|
|
pname = "mediathekview";
|
2015-05-23 10:41:07 +00:00
|
|
|
src = fetchurl {
|
2019-11-11 21:48:24 +00:00
|
|
|
url = "https://download.mediathekview.de/stabil/MediathekView-${version}-linux.tar.gz";
|
2022-10-09 10:40:07 +00:00
|
|
|
sha256 = "4BYKkYhl1YjiAZyfNRdV5KQL+dVkL058uhTG892mXUM=";
|
2015-05-23 10:41:07 +00:00
|
|
|
};
|
|
|
|
|
2022-10-09 10:40:07 +00:00
|
|
|
|
2021-12-26 18:00:06 +00:00
|
|
|
nativeBuildInputs = [ makeWrapper zip ];
|
2019-01-19 12:23:23 +00:00
|
|
|
|
2022-10-09 10:40:07 +00:00
|
|
|
installPhase =
|
|
|
|
let
|
|
|
|
libraryPath = lib.strings.makeLibraryPath [ libglvnd libnotify ];
|
|
|
|
in
|
|
|
|
''
|
2021-08-29 07:19:43 +00:00
|
|
|
runHook preInstall
|
|
|
|
|
2019-11-11 21:48:24 +00:00
|
|
|
mkdir -p $out/{bin,lib}
|
2019-01-19 12:23:23 +00:00
|
|
|
|
2019-11-11 21:48:24 +00:00
|
|
|
install -m644 MediathekView.jar $out/lib
|
2019-01-19 12:23:23 +00:00
|
|
|
|
|
|
|
makeWrapper ${jre}/bin/java $out/bin/mediathek \
|
2022-10-09 10:40:07 +00:00
|
|
|
--add-flags "-jar $out/lib/MediathekView.jar" \
|
|
|
|
--suffix LD_LIBRARY_PATH : "${libraryPath}"
|
2019-11-11 21:48:24 +00:00
|
|
|
|
|
|
|
makeWrapper ${jre}/bin/java $out/bin/MediathekView \
|
2022-10-09 10:40:07 +00:00
|
|
|
--add-flags "-jar $out/lib/MediathekView.jar" \
|
|
|
|
--suffix LD_LIBRARY_PATH : "${libraryPath}"
|
2019-11-11 21:48:24 +00:00
|
|
|
|
|
|
|
makeWrapper ${jre}/bin/java $out/bin/MediathekView_ipv4 \
|
2022-10-09 10:40:07 +00:00
|
|
|
--add-flags "-Djava.net.preferIPv4Stack=true -jar $out/lib/MediathekView.jar" \
|
|
|
|
--suffix LD_LIBRARY_PATH : "${libraryPath}"
|
2021-08-29 07:19:43 +00:00
|
|
|
|
|
|
|
runHook postInstall
|
2019-11-11 21:48:24 +00:00
|
|
|
'';
|
2015-05-23 10:41:07 +00:00
|
|
|
|
2021-01-11 07:54:33 +00:00
|
|
|
meta = with lib; {
|
2019-01-19 12:23:23 +00:00
|
|
|
description = "Offers access to the Mediathek of different tv stations (ARD, ZDF, Arte, etc.)";
|
2020-04-01 01:11:51 +00:00
|
|
|
homepage = "https://mediathekview.de/";
|
2022-06-02 13:38:41 +00:00
|
|
|
sourceProvenance = with sourceTypes; [ binaryBytecode ];
|
2021-08-29 07:19:43 +00:00
|
|
|
license = licenses.gpl3Plus;
|
2019-02-22 15:14:13 +00:00
|
|
|
maintainers = with maintainers; [ moredread ];
|
2019-01-19 12:23:23 +00:00
|
|
|
platforms = platforms.all;
|
2015-05-23 10:41:07 +00:00
|
|
|
};
|
|
|
|
}
|