From 09fed847aa87f4ea39efcfc545ca736ca9a20659 Mon Sep 17 00:00:00 2001
From: Alyssa Ross <hi@alyssa.is>
Date: Thu, 21 Sep 2023 15:01:33 +0000
Subject: [PATCH] pkgsStatic.pulseaudio: mark unsupported

Looks like getting it supported would just be a case of somebody
changing the Meson files and testing that it works!
---
 pkgs/servers/pulseaudio/default.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pkgs/servers/pulseaudio/default.nix b/pkgs/servers/pulseaudio/default.nix
index 0c15e21f5a36..fe701f7b819d 100644
--- a/pkgs/servers/pulseaudio/default.nix
+++ b/pkgs/servers/pulseaudio/default.nix
@@ -179,6 +179,9 @@ stdenv.mkDerivation rec {
     maintainers = with lib.maintainers; [ lovek323 ];
     platforms   = lib.platforms.unix;
 
+    # https://gitlab.freedesktop.org/pulseaudio/pulseaudio/-/issues/1089
+    badPlatforms = [ lib.systems.inspect.platformPatterns.isStatic ];
+
     longDescription = ''
       PulseAudio is a sound server for POSIX and Win32 systems.  A
       sound server is basically a proxy for your sound applications.