--- a/src/Doc/System/Sessions.thy Thu Feb 15 10:15:28 2024 +0100
+++ b/src/Doc/System/Sessions.thy Thu Feb 15 10:32:36 2024 +0100
@@ -363,8 +363,8 @@
-A ROOT include AFP with given root directory (":" for $AFP_BASE)
-B NAME include session NAME and all descendants
-D DIR include session directory and select its sessions
- -H HOSTS additional build cluster host specifications, of the form
- "NAMES:PARAMETERS" (separated by commas)
+ -H HOSTS additional cluster host specifications of the form
+ NAMES:PARAMETERS (separated by commas)
-N cyclic shuffling of NUMA CPU nodes (performance tuning)
-P DIR enable HTML/PDF presentation in directory (":" for default)
-R refer to requirements of selected sessions
@@ -387,7 +387,7 @@
Build and manage Isabelle sessions: ML heaps, session databases, documents.
- Parameters for host specifications (option -H), apart from system options:
+ Parameters for cluster host specifications (-H), apart from system options:
...
Notable system options: see "isabelle options -l -t build"
--- a/src/Pure/Build/build.scala Thu Feb 15 10:15:28 2024 +0100
+++ b/src/Pure/Build/build.scala Thu Feb 15 10:32:36 2024 +0100
@@ -343,8 +343,8 @@
-A ROOT include AFP with given root directory (":" for """ + AFP.BASE.implode + """)
-B NAME include session NAME and all descendants
-D DIR include session directory and select its sessions
- -H HOSTS additional build cluster host specifications, of the form
- "NAMES:PARAMETERS" (separated by commas)
+ -H HOSTS additional cluster host specifications of the form
+ NAMES:PARAMETERS (separated by commas)
-N cyclic shuffling of NUMA CPU nodes (performance tuning)
-P DIR enable HTML/PDF presentation in directory (":" for default)
-R refer to requirements of selected sessions
@@ -367,7 +367,7 @@
Build and manage Isabelle sessions: ML heaps, session databases, documents.
- Parameters for host specifications (option -H), apart from system options:
+ Parameters for cluster host specifications (-H), apart from system options:
""" + Library.indent_lines(4, Build_Cluster.Host.parameters.print()) +
"""
--- a/src/Pure/Build/build_schedule.scala Thu Feb 15 10:15:28 2024 +0100
+++ b/src/Pure/Build/build_schedule.scala Thu Feb 15 10:32:36 2024 +0100
@@ -1535,8 +1535,8 @@
-A ROOT include AFP with given root directory (":" for """ + AFP.BASE.implode + """)
-B NAME include session NAME and all descendants
-D DIR include session directory and select its sessions
- -H HOSTS additional build cluster host specifications, of the form
- "NAMES:PARAMETERS" (separated by commas)
+ -H HOSTS additional cluster host specifications of the form
+ NAMES:PARAMETERS (separated by commas)
-N cyclic shuffling of NUMA CPU nodes (performance tuning)
-O FILE output file
-R refer to requirements of selected sessions
@@ -1548,7 +1548,7 @@
-v verbose
-x NAME exclude session NAME and all descendants
- Generate build graph.
+ Generate build graph for scheduling.
""",
"A:" -> (arg => afp_root = Some(if (arg == ":") AFP.BASE else Path.explode(arg))),
"B:" -> (arg => base_sessions += arg),