clarified default_platform_families (again);
authorwenzelm
Fri, 07 May 2021 13:17:29 +0200
changeset 73898 ac6f8fff036b
parent 73897 a2d3b4a90bca
child 73899 9b4579e5bced
clarified default_platform_families (again);
src/Pure/Admin/build_release.scala
src/Pure/System/platform.scala
--- a/src/Pure/Admin/build_release.scala	Fri May 07 13:16:50 2021 +0200
+++ b/src/Pure/Admin/build_release.scala	Fri May 07 13:17:29 2021 +0200
@@ -487,11 +487,13 @@
     }
   }
 
+  def default_platform_families: List[Platform.Family.Value] = Platform.Family.list0
+
   def build_release(
     options: Options,
     context: Release_Context,
     afp_rev: String = "",
-    platform_families: List[Platform.Family.Value] = Platform.Family.list,
+    platform_families: List[Platform.Family.Value] = default_platform_families,
     more_components: List[Path] = Nil,
     website: Option[Path] = None,
     build_sessions: List[String] = Nil,
@@ -855,7 +857,7 @@
       var parallel_jobs = 1
       var build_library = false
       var options = Options.init()
-      var platform_families = Platform.Family.list
+      var platform_families = default_platform_families
       var rev = ""
 
       val getopts = Getopts("""
@@ -874,7 +876,7 @@
     -j INT       maximum number of parallel jobs (default 1)
     -l           build library
     -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)
-    -p NAMES     platform families (default: """ + Platform.Family.list.mkString(",") + """)
+    -p NAMES     platform families (default: """ + default_platform_families.mkString(",") + """)
     -r REV       Mercurial changeset id (default: ARCHIVE or RELEASE or tip)
 
   Build Isabelle release in base directory, using the local repository clone.
--- a/src/Pure/System/platform.scala	Fri May 07 13:16:50 2021 +0200
+++ b/src/Pure/System/platform.scala	Fri May 07 13:17:29 2021 +0200
@@ -28,6 +28,7 @@
   object Family extends Enumeration
   {
     val linux_arm, linux, macos, windows = Value
+    val list0: List[Value] = List(linux, windows, macos)
     val list: List[Value] = List(linux_arm, linux, windows, macos)
 
     def unapply(name: String): Option[Value] =