From 085d15015a781f91dc1df854e4a7b0f1edc5d550 Mon Sep 17 00:00:00 2001 From: Scott Talbert Date: Fri, 28 Jan 2022 11:50:21 -0500 Subject: [PATCH] Don't install old or non-existent packages during Linux CI libwebkitgtk-3.0-dev is long deprecated and isn't used anyway. gstreamer-0.10* no longer exists even on Ubuntu 18.04. gstreamermm* is not used by wxWidgets. Closes #22069. --- build/tools/before_install.sh | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/build/tools/before_install.sh b/build/tools/before_install.sh index a6447b3477..ace2d24839 100755 --- a/build/tools/before_install.sh +++ b/build/tools/before_install.sh @@ -50,7 +50,7 @@ case $(uname -s) in *) case "$wxGTK_VERSION" in 3) libtoolkit_dev=libgtk-3-dev - extra_deps='libwebkit2gtk-4.0-dev libwebkitgtk-3.0-dev libgspell-1-dev' + extra_deps='libwebkit2gtk-4.0-dev libgspell-1-dev' ;; 2) libtoolkit_dev=libgtk2.0-dev extra_deps='libwebkitgtk-dev' @@ -61,9 +61,7 @@ case $(uname -s) in esac extra_deps="$extra_deps \ - libgstreamermm-1.0-dev libgstreamermm-0.10-dev \ libgstreamer1.0-dev libgstreamer-plugins-base1.0-dev \ - libgstreamer0.10-dev libgstreamer-plugins-base0.10-dev \ libglu1-mesa-dev" esac