diff options
| author | atbrakhi <atbrakhi@igalia.com> | 2024-02-07 06:18:40 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-07 05:18:40 +0000 |
| commit | ba1803d30ad822250ac9827f35331250cec5fbf6 (patch) | |
| tree | 0b3ef2141da13bcbd0b0b75596b3d61ebce5948d /python | |
| parent | d8958f96933e3691c10ff1347e71735b933f9398 (diff) | |
| download | servo-ba1803d30ad822250ac9827f35331250cec5fbf6.tar.gz servo-ba1803d30ad822250ac9827f35331250cec5fbf6.zip | |
Fix ./mach bootstrap failure in debian (#31276)
Do not install `libgstreamer-plugins-good1.0-dev` on debian,
install only on ubuntu.
Diffstat (limited to 'python')
| -rw-r--r-- | python/servo/platform/linux.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/python/servo/platform/linux.py b/python/servo/platform/linux.py index 0e8cbb26a54..c31cae7ee68 100644 --- a/python/servo/platform/linux.py +++ b/python/servo/platform/linux.py @@ -154,12 +154,18 @@ class Linux(Base): def install_non_gstreamer_dependencies(self, force: bool) -> bool: install = False pkgs = [] - if self.distro in ['Ubuntu', 'Debian GNU/Linux', 'Raspbian GNU/Linux']: + if self.distro in ['Ubuntu', 'Raspbian GNU/Linux']: command = ['apt-get', 'install'] pkgs = APT_PKGS if subprocess.call(['dpkg', '-s'] + pkgs, shell=True, stdout=subprocess.PIPE, stderr=subprocess.PIPE) != 0: install = True + elif self.distro == 'Debian GNU/Linux': + command = ['apt-get', 'install'] + pkgs = [pkg for pkg in APT_PKGS if pkg != 'libgstreamer-plugins-good1.0-dev'] + if subprocess.call(['dpkg', '-s'] + pkgs, shell=True, + stdout=subprocess.PIPE, stderr=subprocess.PIPE) != 0: + install = True elif self.distro in ['CentOS', 'CentOS Linux', 'Fedora', 'Fedora Linux', 'Fedora Linux Asahi Remix']: installed_pkgs = str(subprocess.check_output(['rpm', '-qa'])).replace('\n', '|') pkgs = DNF_PKGS |