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

Fixes #21314

1 files changed, 9 insertions, 0 deletions

diff --git a/python/servo/command_base.py b/python/servo/command_base.py
index b335dcd69eb..85ec8435834 100644
--- a/python/servo/command_base.py
+++ b/python/servo/command_base.py
@@ -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 = []