[llvm-commits] [zorg] r110336 - /zorg/trunk/buildbot/klee/master/config/builders.py

Daniel Dunbar daniel at zuster.org
Thu Aug 5 08:40:55 PDT 2010


Author: ddunbar
Date: Thu Aug  5 10:40:55 2010
New Revision: 110336

URL: http://llvm.org/viewvc/llvm-project?rev=110336&view=rev
Log:
buildbot: Add KLEE with LLVM 2.6 and LLVM 2.7 builders.

Modified:
    zorg/trunk/buildbot/klee/master/config/builders.py

Modified: zorg/trunk/buildbot/klee/master/config/builders.py
URL: http://llvm.org/viewvc/llvm-project/zorg/trunk/buildbot/klee/master/config/builders.py?rev=110336&r1=110335&r2=110336&view=diff
==============================================================================
--- zorg/trunk/buildbot/klee/master/config/builders.py (original)
+++ zorg/trunk/buildbot/klee/master/config/builders.py Thu Aug  5 10:40:55 2010
@@ -1,13 +1,29 @@
-from zorg.buildbot.builders import LLVMBuilder
-reload(LLVMBuilder)
-from zorg.buildbot.builders import LLVMBuilder
+from zorg.buildbot.builders import KLEEBuilder
+reload(KLEEBuilder)
+from zorg.buildbot.builders import KLEEBuilder
 
 def _get_linux_builders():
     return [
-        {'name': "klee-x86_64-linux",
-         'slavenames': ["klee.minormatter.com"],
-         'builddir': "build.klee-x86_64-linux", 
-         'factory': LLVMBuilder.getLLVMBuildFactory("x86_64-pc-linux-gnu", jobs=2)},
+        { 'name'       : "klee-x86_64-linux",
+          'slavenames' : ["klee.minormatter.com"],
+          'builddir'   : "build.klee-x86_64-linux", 
+          'factory'    : KLEEBuilder.getKLEEBuildFactory("x86_64-pc-linux-gnu", clean=False) },
+
+        { 'name'       : "klee-2.7-x86_64-linux",
+          'slavenames' : ["klee.minormatter.com"],
+          'builddir'   : "build.klee-2.7-x86_64-linux", 
+          'factory'    : KLEEBuilder.getKLEEBuildFactory(
+                "x86_64-pc-linux-gnu", clean=False,
+                llvm_branch='tags/RELEASE_27',
+                llvmgccdir='/home/klee-buildslave/llvm-gcc-4.2-2.7-x86_64-linux') },
+
+        { 'name'       : "klee-2.6-x86_64-linux",
+          'slavenames' : ["klee.minormatter.com"],
+          'builddir'   : "build.klee-2.6-x86_64-linux", 
+          'factory'    : KLEEBuilder.getKLEEBuildFactory(
+                "x86_64-pc-linux-gnu", clean=False,
+                llvm_branch='tags/RELEASE_26',
+                llvmgccdir='/home/klee-buildslave/llvm-gcc-4.2-2.6-x86_64-linux') },
         ]
 
 def get_builders():





More information about the llvm-commits mailing list