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

Split simpleservo into 3 crates for rust, c and jni apis

Browse source
This commit is contained in:
Paul Rouget 2018-12-12 03:28:32 +01:00
parent 44344452e2
commit 16a00a107f
13 changed files with 174 additions and 105 deletions
Download patch file Download diff file Expand all files Collapse all files

10
python/servo/command_base.py
View file

@ -716,7 +716,7 @@ install them, let us know by filing a bug!")
def add_manifest_path(self, args, android=False, libsimpleservo=False):
if "--manifest-path" not in args:
if libsimpleservo or android:
manifest = self.ports_libsimpleservo_manifest()
manifest = self.ports_libsimpleservo_manifest(android)
else:
manifest = self.ports_servo_manifest()
args.append("--manifest-path")
@ -725,8 +725,12 @@ install them, let us know by filing a bug!")
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 ports_libsimpleservo_manifest(self, android=False):
if android:
api = "jniapi"
else:
api = "capi"
return path.join(self.context.topdir, "ports", "libsimpleservo", api, "Cargo.toml")
def servo_features(self):
"""Return a list of optional features to enable for the Servo crate"""