diff options
| author | Marcin Wiącek <marcin@mwiacek.com> | 2019-05-05 20:46:50 +0200 |
|---|---|---|
| committer | Marcin Wiącek <marcin@mwiacek.com> | 2019-05-05 20:46:50 +0200 |
| commit | cc919b803942b102908fce07507ced7c888aaea0 (patch) | |
| tree | 79e4857463f04dfd896b189c296439e82b41e0a4 /python/servo | |
| parent | af077f8cf7feeb3ae791be133e4b3a10bf9ef614 (diff) | |
| download | servo-cc919b803942b102908fce07507ced7c888aaea0.tar.gz servo-cc919b803942b102908fce07507ced7c888aaea0.zip | |
Changes for Ubuntu 19.04
Diffstat (limited to 'python/servo')
| -rw-r--r-- | python/servo/bootstrap.py | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py index 28292ea3510..ce959f48c7c 100644 --- a/python/servo/bootstrap.py +++ b/python/servo/bootstrap.py @@ -124,7 +124,7 @@ def linux(context, force=False): 'ccache', 'mesa-libGLU-devel', 'clang', 'clang-libs', 'gstreamer1-devel', 'gstreamer1-plugins-base-devel', 'gstreamer1-plugins-bad-free-devel', 'autoconf213'] if context.distro == "Ubuntu": - if context.distro_version == "17.04": + if context.distro_version == "17.04" or context.distro_version == "19.04": pkgs_apt += ["libssl-dev"] elif int(context.distro_version.split(".")[0]) < 17: pkgs_apt += ["libssl-dev"] @@ -384,14 +384,19 @@ def get_linux_distribution(): base_version = '10.10' else: raise Exception('unsupported version of %s: %s' % (distro, version)) - distro, version = 'Ubuntu', base_version + elif distro.lower() == 'ubuntu': + if version == '19.04': + base_version = '19.04' + else: + raise Exception('unsupported version of %s: %s' % (distro, version)) + distro, version = 'Ubuntu', base_version + #fixme: we should allow checked/supported versions only elif distro.lower() not in [ 'centos', 'centos linux', 'debian', 'fedora', - 'ubuntu', ]: raise Exception('mach bootstrap does not support %s, please file a bug' % distro) |