author | wenzelm |
Fri, 16 Sep 2016 15:54:50 +0200 | |
changeset 63888 | 5a9a1985e9fb |
parent 63401 | 28cc90b0e9c2 |
child 63889 | 2195a7e04db5 |
permissions | -rw-r--r-- |
63315 | 1 |
object profile extends isabelle.CI_Profile |
2 |
{ |
|
3 |
||
4 |
import isabelle._ |
|
5 |
||
6 |
def threads = 8 |
|
63348
b3e5bdb784f5
adjust job/thread count for new hardware
Lars Hupel <lars.hupel@mytum.de>
parents:
63315
diff
changeset
|
7 |
def jobs = 2 |
63315 | 8 |
def include = Nil |
9 |
def select = List(Path.explode("$ISABELLE_HOME/src/Benchmarks")) |
|
10 |
||
11 |
def pre_hook(args: List[String]) = {} |
|
12 |
def post_hook(results: Build.Results) = {} |
|
13 |
||
63401 | 14 |
def select_sessions(tree: Sessions.Tree): (List[String], Sessions.Tree) = |
63888
5a9a1985e9fb
sessions that are relevant for routine timing measurements;
wenzelm
parents:
63401
diff
changeset
|
15 |
tree.selection(session_groups = List("timing")) |
63385 | 16 |
|
63315 | 17 |
} |