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

Changes for Ubuntu 19.04

Browse source
This commit is contained in:
Marcin Wiącek 2019-05-05 20:46:50 +02:00
parent af077f8cf7
commit cc919b8039
1 changed files with 8 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

11
python/servo/bootstrap.py
View file

@ -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)