diff options
| -rwxr-xr-x | tools/setup.py | 1 | ||||
| -rw-r--r-- | tools/third_party.py | 10 |
2 files changed, 11 insertions, 0 deletions
diff --git a/tools/setup.py b/tools/setup.py index 84bd0aba4..20271f4b3 100755 --- a/tools/setup.py +++ b/tools/setup.py @@ -7,6 +7,7 @@ import distutils.spawn third_party.fix_symlinks() third_party.download_gn() third_party.download_clang() +third_party.maybe_download_sysroot() def get_gn_args(): diff --git a/tools/third_party.py b/tools/third_party.py index b756e1fa3..2a2c34231 100644 --- a/tools/third_party.py +++ b/tools/third_party.py @@ -166,3 +166,13 @@ def download_clang(): run(['python', tp('v8/tools/clang/scripts/update.py'), '--if-needed'], env=google_env()) + + +def maybe_download_sysroot(): + if sys.platform.startswith('linux'): + run([ + 'python', + tp('v8/build/linux/sysroot_scripts/install-sysroot.py'), + '--arch=amd64' + ], + env=google_env()) |