diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2022-04-27 14:56:05 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-04-27 14:56:05 +0200 |
commit | 37eeaeb8bf70cf61071a0a5846e9c0e8f096b54e (patch) | |
tree | 66454822b332e1eb5479ae9d90377ab73f4212d0 | |
parent | 7587db1fa220a097963e31e8138c8c528f9729b3 (diff) | |
parent | 629a74477f7036cec9e186ffab42915a17b7a9dd (diff) | |
download | nixpkgs-37eeaeb8bf70cf61071a0a5846e9c0e8f096b54e.tar nixpkgs-37eeaeb8bf70cf61071a0a5846e9c0e8f096b54e.tar.gz nixpkgs-37eeaeb8bf70cf61071a0a5846e9c0e8f096b54e.tar.bz2 nixpkgs-37eeaeb8bf70cf61071a0a5846e9c0e8f096b54e.tar.lz nixpkgs-37eeaeb8bf70cf61071a0a5846e9c0e8f096b54e.tar.xz nixpkgs-37eeaeb8bf70cf61071a0a5846e9c0e8f096b54e.tar.zst nixpkgs-37eeaeb8bf70cf61071a0a5846e9c0e8f096b54e.zip |
Merge pull request #124913 from alex5nader/libpulse-keep-vapi
libpulseaudio: preserve vapi files
-rw-r--r-- | pkgs/servers/pulseaudio/default.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/servers/pulseaudio/default.nix b/pkgs/servers/pulseaudio/default.nix index 95a454850b6..9e3075f09b7 100644 --- a/pkgs/servers/pulseaudio/default.nix +++ b/pkgs/servers/pulseaudio/default.nix @@ -114,7 +114,9 @@ stdenv.mkDerivation rec { ''; postInstall = lib.optionalString libOnly '' - rm -rf $out/{bin,share,etc,lib/{pulse-*,systemd}} + find $out/share -maxdepth 1 -mindepth 1 ! -name "vala" -prune -exec rm -r {} \; + find $out/share/vala -maxdepth 1 -mindepth 1 ! -name "vapi" -prune -exec rm -r {} \; + rm -r $out/{bin,etc,lib/pulse-*} '' + '' moveToOutput lib/cmake "$dev" |