diff -r 03d703c3cfe9 -r b5c32391802f make/uwproj.xsd
--- a/make/uwproj.xsd Fri Nov 28 15:23:40 2025 +0100
+++ b/make/uwproj.xsd Sun Nov 30 13:29:07 2025 +0100
@@ -29,23 +29,61 @@
The configuration section.
- Consists of an arbitrary number of
The optional
+ You may customize the value and the help text,
+ but the variable name and the option name are pre-defined.
+ var elements.
+ Consists of an arbitrary number of var elements and pre-defined elements for
+ standard installation directories. If you want to use standard installation directories, you
+ must list the wanted variables here.
platform attribute may specify a single platform identifier and
the optional not attribute may specify a comma-separated list of platform identifiers.
The configure script shall skip this config declaration if the detected platform is not matching
the filter specification of these attributes.
+ When multiple config sections have a matching filter, and declare the same variables, the settings
+ of the first matching config section will be used for the affected variables.
name attribute is mandatory, the value is defined by the text body of the element.
- The optional Boolean exec attribute (false by default) controls, whether the entire
- definition is automatically executed under command substitution.
+ The optional Boolean exec attribute (false by default) controls, whether value denotes
+ a command which shall be executed at configuration time to produce the value.
+ With option and option-help you can control how the variable can be
+ overridden on the command line. When you don't specify either of those attributes, no command
+ line option will be generated. When you provide a option-help, but do not specify the
+ option name, a name is generated.
+ You can use the string %default in your help text when you want to show the default
+ value in the text. When exec is used, the default will not be resolved in the help
+ text and instead the command is shown (to avoid breaking the formatting).