diff options
author | Martin Robinson <mrobinson@webkit.org> | 2023-06-23 11:07:18 +0200 |
---|---|---|
committer | Martin Robinson <mrobinson@igalia.com> | 2023-07-03 21:40:24 +0200 |
commit | 633d9b0eb964b09bf4dbb46d81a965a4be2fe8f5 (patch) | |
tree | 9b1eed6c332aaff352d9e6c52a9fe2c081129b69 /python/servo/platform/base.py | |
parent | 35ab3116358a50a0ffa549bbe90ce8d2cc755ddb (diff) | |
download | servo-633d9b0eb964b09bf4dbb46d81a965a4be2fe8f5.tar.gz servo-633d9b0eb964b09bf4dbb46d81a965a4be2fe8f5.zip |
Windows bootstrap support
Diffstat (limited to 'python/servo/platform/base.py')
-rw-r--r-- | python/servo/platform/base.py | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/python/servo/platform/base.py b/python/servo/platform/base.py index b0ac64386bd..65731ba0364 100644 --- a/python/servo/platform/base.py +++ b/python/servo/platform/base.py @@ -75,7 +75,7 @@ class Base: def executable_suffix(self): return "" - def _platform_bootstrap(self, _cache_dir: str, _force: bool) -> bool: + def _platform_bootstrap(self, _force: bool) -> bool: raise NotImplementedError("Bootstrap installation detection not yet available.") def _platform_bootstrap_gstreamer(self, _force: bool) -> bool: @@ -97,11 +97,17 @@ class Base: == 0 ) - def bootstrap(self, cache_dir: str, force: bool): - if not self._platform_bootstrap(cache_dir, force): + def bootstrap(self, force: bool): + if not self._platform_bootstrap(force): print("Dependencies were already installed!") - def bootstrap_gstreamer(self, _cache_dir: str, force: bool): + def passive_bootstrap(self) -> bool: + """A bootstrap method that is called without explicitly invoking `./mach bootstrap` + but that is executed in the process of other `./mach` commands. This should be + as fast as possible.""" + return False + + def bootstrap_gstreamer(self, force: bool): if not self._platform_bootstrap_gstreamer(force): root = self.gstreamer_root(None) if root: |