vivaldi: add libpulseaudio as optional dependency (#157940)

Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
This commit is contained in:
Kou Yong Kang 2022-03-08 00:38:41 +08:00 committed by GitHub
parent 3fd559bcf7
commit ae0b6ee0b9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -12,6 +12,7 @@
, proprietaryCodecs ? false, vivaldi-ffmpeg-codecs ? null
, enableWidevine ? false, vivaldi-widevine ? null
, commandLineArgs ? ""
, pulseSupport ? stdenv.isLinux, libpulseaudio
}:
let
@ -40,7 +41,8 @@ in stdenv.mkDerivation rec {
freetype fontconfig libXrender libuuid expat glib nss nspr
libxml2 pango cairo
libdrm mesa
] ++ lib.optional proprietaryCodecs vivaldi-ffmpeg-codecs;
] ++ lib.optional proprietaryCodecs vivaldi-ffmpeg-codecs
++ lib.optional pulseSupport libpulseaudio;
libPath = lib.makeLibraryPath buildInputs
+ lib.optionalString (stdenv.is64bit)