author | wenzelm |
Wed, 17 May 2017 13:47:19 +0200 | |
changeset 65851 | c103358a5559 |
parent 65419 | 457e4fbed731 |
child 68279 | 5824e400cecc |
permissions | -rw-r--r-- |
63951
8739c1cd2851
sequential (jobs = 1) makeall profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
1 |
object profile extends isabelle.CI_Profile |
8739c1cd2851
sequential (jobs = 1) makeall profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
2 |
{ |
8739c1cd2851
sequential (jobs = 1) makeall profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
3 |
|
8739c1cd2851
sequential (jobs = 1) makeall profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
4 |
import isabelle._ |
8739c1cd2851
sequential (jobs = 1) makeall profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
5 |
|
8739c1cd2851
sequential (jobs = 1) makeall profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
6 |
def threads = 2 |
8739c1cd2851
sequential (jobs = 1) makeall profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
7 |
def jobs = 1 |
8739c1cd2851
sequential (jobs = 1) makeall profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
8 |
def include = Nil |
8739c1cd2851
sequential (jobs = 1) makeall profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
9 |
def select = Nil |
8739c1cd2851
sequential (jobs = 1) makeall profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
10 |
|
8739c1cd2851
sequential (jobs = 1) makeall profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
11 |
def pre_hook(args: List[String]) = {} |
8739c1cd2851
sequential (jobs = 1) makeall profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
12 |
def post_hook(results: Build.Results) = {} |
8739c1cd2851
sequential (jobs = 1) makeall profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
13 |
|
65419 | 14 |
def selection = Sessions.Selection(all_sessions = true) |
63951
8739c1cd2851
sequential (jobs = 1) makeall profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
15 |
|
8739c1cd2851
sequential (jobs = 1) makeall profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
16 |
} |