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

Only build ports/servo by default (except Android), add ./mach build --libsimpleservo

Browse source 
Fixes #21314
This commit is contained in:
Simon Sapin 2018-09-25 15:00:25 +02:00
parent 6842553923
commit 39079cff8b
4 changed files with 20 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

9
python/servo/command_base.py
View file

@ -670,9 +670,18 @@ install them, let us know by filing a bug!")
def ports_servo_crate(self):
return path.join(self.context.topdir, "ports", "servo")
def manifest_path(self, android=False, libsimpleservo=False):
if libsimpleservo or android:
return self.ports_libsimpleservo_manifest()
else:
return self.ports_servo_manifest()
def ports_servo_manifest(self):
return path.join(self.context.topdir, "ports", "servo", "Cargo.toml")
def ports_libsimpleservo_manifest(self):
return path.join(self.context.topdir, "ports", "libsimpleservo", "Cargo.toml")
def servo_features(self):
"""Return a list of optional features to enable for the Servo crate"""
features = []