12 stdenv.mkDerivation rec {
14 pname = "mediathekview";
16 url = "https://download.mediathekview.de/stabil/MediathekView-${version}-linux.tar.gz";
17 sha256 = "sha256-2dC7y4SbGsjU6UBHbfye1MUNiLvIQjqTcqPX0I11qIk=";
27 libraryPath = lib.strings.makeLibraryPath [
35 mkdir -p $out/{bin,lib}
37 install -m644 MediathekView.jar $out/lib
39 makeWrapper ${jre}/bin/java $out/bin/mediathek \
40 --add-flags "-jar $out/lib/MediathekView.jar" \
41 --suffix LD_LIBRARY_PATH : "${libraryPath}"
43 makeWrapper ${jre}/bin/java $out/bin/MediathekView \
44 --add-flags "-jar $out/lib/MediathekView.jar" \
45 --suffix LD_LIBRARY_PATH : "${libraryPath}"
47 makeWrapper ${jre}/bin/java $out/bin/MediathekView_ipv4 \
48 --add-flags "-Djava.net.preferIPv4Stack=true -jar $out/lib/MediathekView.jar" \
49 --suffix LD_LIBRARY_PATH : "${libraryPath}"
55 description = "Offers access to the Mediathek of different tv stations (ARD, ZDF, Arte, etc.)";
56 homepage = "https://mediathekview.de/";
57 sourceProvenance = with sourceTypes; [ binaryBytecode ];
58 license = licenses.gpl3Plus;
59 mainProgram = "mediathek";
60 maintainers = with maintainers; [ ];
61 platforms = platforms.all;