--- a/src/Pure/Admin/build_vampire.scala Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/Admin/build_vampire.scala Fri Apr 01 17:06:10 2022 +0200
@@ -7,8 +7,7 @@
package isabelle
-object Build_Vampire
-{
+object Build_Vampire {
val default_download_url = "https://github.com/vprover/vampire/archive/refs/tags/v4.6.tar.gz"
val default_jobs = 1
@@ -24,12 +23,11 @@
component_name: String = "",
verbose: Boolean = false,
progress: Progress = new Progress,
- target_dir: Path = Path.current): Unit =
- {
+ target_dir: Path = Path.current
+ ): Unit = {
Isabelle_System.require_command("cmake")
- Isabelle_System.with_tmp_dir("build")(tmp_dir =>
- {
+ Isabelle_System.with_tmp_dir("build")(tmp_dir => {
/* component */
val Archive_Name = """^.*?([^/]+)$""".r
@@ -128,8 +126,7 @@
val isabelle_tool =
Isabelle_Tool("build_vampire", "build prover component from official download",
- Scala_Project.here, args =>
- {
+ Scala_Project.here, args => {
var target_dir = Path.current
var download_url = default_download_url
var jobs = default_jobs