Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-23 07:13:52 +01:00
Code Issues Projects Releases Packages Wiki Activity

Run platform_bootstrap first (#31840)

Browse source
This commit is contained in:
Samson 2024-04-29 15:33:12 +02:00 • committed by GitHub
parent fe6e1cfb29
commit 6ca3bb440e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 7 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

4
python/servo/platform/base.py
View file

@ -55,9 +55,9 @@ class Base:
return False
def bootstrap(self, force: bool):
installed_something = self.install_taplo(force)
installed_something = self._platform_bootstrap(force)
installed_something |= self.install_taplo(force)
installed_something |= self.install_crown(force)
installed_something |= self._platform_bootstrap(force)
if not installed_something:
print("Dependencies were already installed!")

8
python/servo/platform/linux.py
View file

@ -146,9 +146,11 @@ class Linux(Base):
'void',
'fedora linux asahi remix'
]:
raise NotImplementedError(f"mach bootstrap does not support {self.distro}."
" You may be able to install dependencies manually."
" See https://github.com/servo/servo/wiki/Building.")
print(f"mach bootstrap does not support {self.distro}."
" You may be able to install dependencies manually."
" See https://github.com/servo/servo/wiki/Building.")
input("Press Enter to continue...")
return False
installed_something = self.install_non_gstreamer_dependencies(force)
return installed_something