author | wenzelm |
Sun, 28 Apr 2019 22:22:29 +0200 | |
changeset 70207 | 511352b4d5d3 |
parent 69119 | 088d38704913 |
child 73938 | 76dbf39a708d |
permissions | -rw-r--r-- |
63315 | 1 |
object profile extends isabelle.CI_Profile |
2 |
{ |
|
3 |
||
4 |
import isabelle._ |
|
5 |
||
63894
7534eec7cfad
benchmark doesn't need to build documents
Lars Hupel <lars.hupel@mytum.de>
parents:
63893
diff
changeset
|
6 |
override def documents = false |
69119 | 7 |
override def threads = 6 |
8 |
override def jobs = 1 |
|
63315 | 9 |
def include = Nil |
10 |
def select = List(Path.explode("$ISABELLE_HOME/src/Benchmarks")) |
|
11 |
||
12 |
def pre_hook(args: List[String]) = {} |
|
13 |
def post_hook(results: Build.Results) = {} |
|
14 |
||
65419 | 15 |
def selection = Sessions.Selection(session_groups = List("timing")) |
63385 | 16 |
|
63315 | 17 |
} |