# HG changeset patch
# User wenzelm
# Date 1607781630 -3600
# Node ID 970bad477c13cce9cd54a73491d8188a40535748
# Parent  ac64b753a65faf74e2b3923bb373f7e0c81fa5c5
clarified default name;

diff -r ac64b753a65f -r 970bad477c13 src/Pure/Admin/build_vampire.scala
--- a/src/Pure/Admin/build_vampire.scala	Sat Dec 12 14:48:41 2020 +0100
+++ b/src/Pure/Admin/build_vampire.scala	Sat Dec 12 15:00:30 2020 +0100
@@ -12,7 +12,8 @@
   val default_repository = "https://github.com/vprover/vampire.git"
   val default_version1 = "4.5.1"
   val default_version2 = "7638614fc288"
-  val default_component_name = "vampire-" + default_version1
+
+  def make_component_name(version: String) = "vampire-" + version
 
 
   /* build Vampire */
@@ -21,7 +22,7 @@
     repository: String = default_repository,
     version1: String = default_version1,
     version2: String = default_version2,
-    component_name: String = default_component_name,
+    component_name: String = "",
     verbose: Boolean = false,
     progress: Progress = new Progress,
     target_dir: Path = Path.current)
@@ -30,7 +31,8 @@
     {
       /* component and platform */
 
-      val component_dir = Isabelle_System.new_directory(target_dir + Path.basic(component_name))
+      val component = proper_string(component_name) getOrElse make_component_name(version1)
+      val component_dir = Isabelle_System.new_directory(target_dir + Path.basic(component))
       progress.echo("Component " + component_dir)
 
       val platform_name =
@@ -116,7 +118,7 @@
       var repository = default_repository
       var version1 = default_version1
       var version2 = default_version2
-      var component_name = default_component_name
+      var component_name = ""
       var verbose = false
 
       val getopts = Getopts("""
@@ -125,9 +127,9 @@
   Options are:
     -D DIR       target directory (default ".")
     -U URL       repository (default: """" + default_repository + """")
-    -V REV       standard version (default: """" + default_version1 + """")
-    -W REV       polymorphic version (default: """" + default_version2 + """")
-    -n NAME      component name (default: """" + default_component_name + """")
+    -V REV1      standard version (default: """" + default_version1 + """")
+    -W REV2      polymorphic version (default: """" + default_version2 + """")
+    -n NAME      component name (default: """" + make_component_name("REV1") + """")
     -v           verbose
 
   Build prover component from official download.