diff options
author | matt335672 <30179339+matt335672@users.noreply.github.com> | 2022-10-20 12:15:24 +0300 |
---|---|---|
committer | matt335672 <30179339+matt335672@users.noreply.github.com> | 2022-10-20 13:33:25 +0300 |
commit | 8e46b8f7b52132d9b8a8e99f82e516f92ab8da9c (patch) | |
tree | 2f5d85b6f0a624f82732d449d1bee9773c74d8fc | |
parent | 8421b3005414142674bb46f9ba453d92cb3dc113 (diff) |
Fix CI build on github jammy VMs
Remove the libunwind-14-dev package before installing the PA
build dependencies, as this is incompatible with libunwind-dev
-rwxr-xr-x | scripts/install_pulseaudio_sources_apt.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/scripts/install_pulseaudio_sources_apt.sh b/scripts/install_pulseaudio_sources_apt.sh index d2cfe6a..5e06c23 100755 --- a/scripts/install_pulseaudio_sources_apt.sh +++ b/scripts/install_pulseaudio_sources_apt.sh @@ -98,6 +98,15 @@ if [ ! -d "$PULSE_DIR" ]; then sudo apt-get update + # For the CI build on 22.04, it was noted that an incompatible + # libunwind development package was installed. + if [ -f /usr/include/libunwind/libunwind.h ]; then + pkg=`dpkg -S /usr/include/libunwind/libunwind.h | sed -e 's/: .*//'` + if [ -n "$pkg" -a "$pkg" != libunwind-dev ]; then + echo "- Removing package $pkg" + sudo apt-get remove "$pkg" + fi + fi sudo apt-get build-dep -y pulseaudio # Install any missing dependencies for this software release case "$RELEASE" in |