# HG changeset patch
# User wenzelm
# Date 1646473725 -3600
# Node ID 6e7b3492d7df825757f97fb083cc9fd6a1ed0047
# Parent  e2b5f8b7507ab9014ddb5fc7c5983cfa3295d063
clarified command-line options;

diff -r e2b5f8b7507a -r 6e7b3492d7df src/Pure/Admin/build_vscodium.scala
--- a/src/Pure/Admin/build_vscodium.scala	Sat Mar 05 10:44:07 2022 +0100
+++ b/src/Pure/Admin/build_vscodium.scala	Sat Mar 05 10:48:45 2022 +0100
@@ -13,6 +13,12 @@
 
 object Build_VSCodium
 {
+  /* global parameters */
+
+  lazy val version: String = Isabelle_System.getenv_strict("ISABELLE_VSCODE_VERSION")
+  val vscodium_repository = "https://github.com/VSCodium/vscodium.git"
+
+
   /* patch resources */
 
   // see https://github.com/microsoft/vscode/blob/main/build/gulpfile.vscode.js
@@ -68,7 +74,7 @@
 
     def build_dir(dir: Path): Path = dir + Path.explode(build_name)
 
-    def environment(version: String): String =
+    def environment: String =
       (("MS_TAG=" + Bash.string(version)) :: "SHOULD_BUILD=yes" :: "VSCODE_ARCH=x64" :: env)
         .map(s => "export " + s + "\n").mkString
   }
@@ -93,8 +99,6 @@
 
   /* build vscodium */
 
-  val default_repository_url = "https://github.com/VSCodium/vscodium.git"
-  val default_version = "1.64.2"
   def default_platforms: List[Platform.Family.Value] = Platform.Family.list
 
   private def vscodium_exe(dir: Path): Path = dir + Path.explode("bin/codium")
@@ -113,8 +117,6 @@
 
   def build_vscodium(
     target_dir: Path = Path.current,
-    repository_url: String = default_repository_url,
-    version: String = default_version,
     platforms: List[Platform.Family.Value] = default_platforms,
     verbose: Boolean = false,
     progress: Progress = new Progress): Unit =
@@ -152,11 +154,11 @@
       Isabelle_System.with_tmp_dir("vscodium")(vscodium_dir =>
       {
         def execute(lines: String*): Unit =
-          progress.bash(("set -e" :: info.environment(version) :: lines.toList).mkString("\n"),
+          progress.bash(("set -e" :: info.environment :: lines.toList).mkString("\n"),
             cwd = vscodium_dir.file, echo = verbose).check
 
         execute(
-          "git clone -n " + Bash.string(repository_url) + " .",
+          "git clone -n " + Bash.string(vscodium_repository) + " .",
           "git checkout -q " + Bash.string(version),
           "./get_repo.sh")
 
@@ -220,7 +222,7 @@
     /* README */
 
     File.write(component_dir + Path.basic("README"),
-      "This is VSCodium " + version + " from " + repository_url +
+      "This is VSCodium " + version + " from " + vscodium_repository +
 """
 
 It has been built from sources using "isabelle build_vscodium": this applies
@@ -239,8 +241,6 @@
       Scala_Project.here, args =>
     {
       var target_dir = Path.current
-      var repository_url = default_repository_url
-      var version = default_version
       var platforms = default_platforms
       var verbose = false
 
@@ -249,11 +249,7 @@
 
   Options are:
     -D DIR       target directory (default ".")
-    -U URL       repository URL
-                 (default: """" + default_repository_url + """")
-    -V VERSION   version (default: """" + default_version + """")
-    -p NAMES     platform families
-                 (default: """ + quote(platforms.mkString(",")) + """)
+    -p NAMES     platform families (default: """ + quote(platforms.mkString(",")) + """)
     -v           verbose
 
   Build VSCodium from sources and turn it into an Isabelle component.
@@ -262,8 +258,6 @@
   for targeting Windows.
 """,
         "D:" -> (arg => target_dir = Path.explode(arg)),
-        "U:" -> (arg => repository_url = arg),
-        "V:" -> (arg => version = arg),
         "p:" -> (arg => platforms = Library.space_explode(',', arg).map(Platform.Family.parse)),
         "v" -> (_ => verbose = true))
 
@@ -272,7 +266,7 @@
 
       val progress = new Console_Progress()
 
-      build_vscodium(target_dir = target_dir, repository_url = repository_url,
-        version = version, platforms = platforms, verbose = verbose, progress = progress)
+      build_vscodium(target_dir = target_dir, platforms = platforms,
+        verbose = verbose, progress = progress)
     })
 }