equal
deleted
inserted
replaced
12 val default_repository = "https://github.com/vprover/vampire.git" |
12 val default_repository = "https://github.com/vprover/vampire.git" |
13 val default_version1 = "4.5.1" |
13 val default_version1 = "4.5.1" |
14 val default_version2 = "df87588848db" |
14 val default_version2 = "df87588848db" |
15 val default_jobs = 1 |
15 val default_jobs = 1 |
16 |
16 |
17 def make_component_name(version: String) = "vampire-" + version |
17 def make_component_name(version: String): String = "vampire-" + version |
18 |
18 |
19 |
19 |
20 /* build Vampire */ |
20 /* build Vampire */ |
21 |
21 |
22 def build_vampire( |
22 def build_vampire( |