diff options
| -rw-r--r-- | documentation/ref-manual/ref-variables.xml | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/documentation/ref-manual/ref-variables.xml b/documentation/ref-manual/ref-variables.xml index 9e6d37ec0d..7ab37de317 100644 --- a/documentation/ref-manual/ref-variables.xml +++ b/documentation/ref-manual/ref-variables.xml | |||
| @@ -6774,6 +6774,25 @@ | |||
| 6774 | components that are required to produce a functional system | 6774 | components that are required to produce a functional system |
| 6775 | image. | 6775 | image. |
| 6776 | </note> | 6776 | </note> |
| 6777 | |||
| 6778 | <note><title>Tips</title> | ||
| 6779 | It is possible to define a list of licenses that are allowed | ||
| 6780 | to be used instead of the licenses that are excluded. To do | ||
| 6781 | this, define a | ||
| 6782 | variable <filename>COMPATIBLE_LICENSES</filename> with the | ||
| 6783 | names of the licences that are allowed. Then | ||
| 6784 | define <filename>INCOMPATIBLE_LICENSE</filename> as: | ||
| 6785 | <literallayout class='monospaced'> | ||
| 6786 | INCOMPATIBLE_LICENSE = "${@' '.join(sorted(set(d.getVar('AVAILABLE_LICENSES').split()) - set(d.getVar('COMPATIBLE_LICENSES').split())))}" | ||
| 6787 | </literallayout> | ||
| 6788 | This will result | ||
| 6789 | in <filename>INCOMPATIBLE_LICENSE</filename> containing the | ||
| 6790 | names of all licences | ||
| 6791 | from <link linkend='var-AVAILABLE_LICENSES'><filename>AVAILABLE_LICENSES</filename></link> | ||
| 6792 | except the ones specified | ||
| 6793 | in <filename>COMPATIBLE_LICENSES</filename>, thus only | ||
| 6794 | allowing the latter licences to be used. | ||
| 6795 | </note> | ||
| 6777 | </glossdef> | 6796 | </glossdef> |
| 6778 | </glossentry> | 6797 | </glossentry> |
| 6779 | 6798 | ||
