# HG changeset patch
# User Lars Hupel <lars.hupel@mytum.de>
# Date 1538657570 -7200
# Node ID 9d3b41732fe0d23261c03264b4ce89be3f0c015d
# Parent  088d3870491350d449848ad1f9404f17374f37d2
Jenkins: detect machine; adjust job parameters accordingly

diff -r 088d38704913 -r 9d3b41732fe0 src/Pure/Admin/ci_profile.scala
--- a/src/Pure/Admin/ci_profile.scala	Thu Oct 04 13:08:13 2018 +0200
+++ b/src/Pure/Admin/ci_profile.scala	Thu Oct 04 14:52:50 2018 +0200
@@ -96,6 +96,8 @@
         .int.update("parallel_proofs", 1)
         .int.update("threads", threads)
 
+    println(s"jobs = $jobs, threads = $threads, numa = $numa")
+
     print_section("BUILD")
     println(s"Build started at $start_time")
     println(s"Isabelle id $isabelle_id")
@@ -133,15 +135,25 @@
     System.exit(results.rc)
   }
 
+  /* profile */
 
-  /* profile */
+  def threads: Int = Isabelle_System.hostname() match {
+    case "hpcisabelle" => 8
+    case "lxcisa0" => 4
+    case _ => 2
+  }
+
+  def jobs: Int = Isabelle_System.hostname() match {
+    case "hpcisabelle" => 8
+    case "lxcisa0" => 10
+    case _ => 2
+  }
+
+  def numa: Boolean = Isabelle_System.hostname() == "hpcisabelle"
 
   def documents: Boolean = true
   def clean: Boolean = true
-  def numa: Boolean = false
 
-  def threads: Int
-  def jobs: Int
   def include: List[Path]
   def select: List[Path]