Use ffmpeg 3 for javafx media

This commit is contained in:
Charlotte Van Petegem 2021-05-20 14:04:44 +02:00
parent 2301f5fa07
commit 0ae58cbbc1
No known key found for this signature in database
GPG key ID: 019E764B7184435A

View file

@ -1,6 +1,6 @@
let
pkgs = import <nixpkgs> { };
extraRpath = pkgs.stdenv.lib.strings.makeLibraryPath (with pkgs; [ ffmpeg ]);
extraRpath = pkgs.stdenv.lib.strings.makeLibraryPath (with pkgs; [ ffmpeg_3 ]);
java = pkgs.writeShellScriptBin "java" ''
old_path="$(patchelf --print-rpath ${pkgs.jdk11}/bin/java)"
LD_LIBRARY_PATH="$old_path:${extraRpath}" ${pkgs.jdk11}/bin/java $@