equal
deleted
inserted
replaced
3 |
3 |
4 import isabelle._ |
4 import isabelle._ |
5 |
5 |
6 def threads = 8 |
6 def threads = 8 |
7 def jobs = 2 |
7 def jobs = 2 |
8 def all = false |
|
9 def groups = Nil |
|
10 def exclude = Nil |
|
11 def include = Nil |
8 def include = Nil |
12 def select = List(Path.explode("$ISABELLE_HOME/src/Benchmarks")) |
9 def select = List(Path.explode("$ISABELLE_HOME/src/Benchmarks")) |
13 |
10 |
14 def pre_hook(args: List[String]) = {} |
11 def pre_hook(args: List[String]) = {} |
15 def post_hook(results: Build.Results) = {} |
12 def post_hook(results: Build.Results) = {} |
16 |
13 |
17 override def select_sessions(tree: Sessions.Tree): (List[String], Sessions.Tree) = |
14 def select_sessions(tree: Sessions.Tree): (List[String], Sessions.Tree) = |
18 tree.selection() |
15 tree.selection() |
19 |
16 |
20 } |
17 } |