diff options
| author | Maciej Krüger <mkg20001@gmail.com> | 2021-05-31 17:57:43 +0200 |
|---|---|---|
| committer | Maciej Krüger <mkg20001@gmail.com> | 2021-06-04 10:56:41 +0200 |
| commit | 8e48b6fd744bdfb50b9c315191ccb409d673ebf4 (patch) | |
| tree | e48d251c0ddadf6df24a0fcae296b2de98433750 /python/servo/bootstrap.py | |
| parent | 2cade89ede734d088c511e76b0c12b0162bb333a (diff) | |
| download | servo-8e48b6fd744bdfb50b9c315191ccb409d673ebf4.tar.gz servo-8e48b6fd744bdfb50b9c315191ccb409d673ebf4.zip | |
add NixOS support to mach and automatically re-launch mach in nix-shell
Diffstat (limited to 'python/servo/bootstrap.py')
| -rw-r--r-- | python/servo/bootstrap.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py index 9c94d7cfae9..21fcd967693 100644 --- a/python/servo/bootstrap.py +++ b/python/servo/bootstrap.py @@ -383,6 +383,7 @@ def get_linux_distribution(): 'debian gnu/linux', 'fedora', 'void', + 'nixos', ]: raise Exception('mach bootstrap does not support %s, please file a bug' % distrib) @@ -398,6 +399,11 @@ def bootstrap(context, force=False, specific=None): elif "linux-gnu" in host_triple(): distrib, version = get_linux_distribution() + if distrib.lower() == 'nixos': + print('NixOS does not need bootstrap') + print('just run ./mach build') + return + context.distro = distrib context.distro_version = version bootstrapper = LINUX_SPECIFIC_BOOTSTRAPPERS.get(specific, linux) |