Add Servo in in Puller and builder.

.gitignore

@@ -26,3 +26,5 @@ benchmarks/asmjs-apps/zlib/minigzipsh
 driver/awfy.config
 slave/awfy.config
 **/*-results/
+
+output/

slave/build.py

@@ -241,6 +241,26 @@ class V8Builder(Builder):
     def binary(self):
         return os.path.join(self.objdir(), 'd8')
 
+class ServoBuilder(Builder):
+    def __init__(self, config, folder):
+        super(ServoBuilder, self).__init__(config, folder);
+        # Some other config here
+    
+    def retrieveInfo(self):
+        info = {}
+        info["engine_type"] = "servo"
+        return info
+
+    def objdir(self):
+        return os.path.join(self.folder, 'target')
+
+    def binary(self):
+        return os.path.join(self.objdir(), 'release', 'servo')
+
+    def make(self):
+        args = [os.path.join('.', self.folder, 'mach'), 'build' ,'--release']
+        Run(args, self.env.get())
+
 def getBuilder(config, path):
     # fingerprint the known builders
     if os.path.exists(os.path.join(path, "js", "src")):
@@ -249,6 +269,8 @@ def getBuilder(config, path):
         return WebkitBuilder(config, path)
     if os.path.exists(os.path.join(path, "v8", "LICENSE.v8")):
         return V8Builder(config, path)
+    if os.path.exists(os.path.join(path, "mach")):
+        return ServoBuilder(config, path)
 
     raise Exception("Unknown builder")
 

slave/puller.py

@@ -157,6 +157,8 @@ def getPuller(repo, path):
         repo = "http://hg.mozilla.org/integration/mozilla-inbound"
     elif repo == "webkit":
         repo = "https://svn.webkit.org/repository/webkit/trunk"
+    elif repo == "servo":
+        repo = "https://github.com/servo/servo.git"
 
     if "hg." in repo:
         return HG(repo, path)