| 1 |
>>>>> On Sat, 08 Jul 2017, Michał Górny wrote: |
| 2 |
|
| 3 |
> The pre-GLEP for review is here: |
| 4 |
|
| 5 |
> https://wiki.gentoo.org/wiki/User:MGorny/GLEP:ReqUse |
| 6 |
|
| 7 |
On first glance: |
| 8 |
|
| 9 |
Section "Processing algorithm": |
| 10 |
|
| 11 |
| 2. Check whether the REQUIRED_USE constraint matches restrictions |
| 12 |
| set in #Restrictions on REQUIRED_USE format. If it does not, report |
| 13 |
| a REQUIRED_USE mismatch and abort. |
| 14 |
|
| 15 |
Why is this needed? This case should never occur if the REQUIRED_USE |
| 16 |
syntax doesn't allow it. |
| 17 |
|
| 18 |
Section "REQUIRED_USE verification algorithm": |
| 19 |
|
| 20 |
| * An any-of group (||) evaluates to true if at least one of the |
| 21 |
| items in it evaluates to true. |
| 22 |
| * An exactly-one-of group (^^) evaluates to true if exactly one of |
| 23 |
| the items in it evaluates to true, and all the remaining items |
| 24 |
| evaluate to false. |
| 25 |
| * An at-most-one-of group (??) evaluates to true if at most one of |
| 26 |
| the items in it evaluates to true. |
| 27 |
|
| 28 |
It should be added that any empty group (|| or ^^ or ??) evalutates to |
| 29 |
true, because that's what PMS specifies: |
| 30 |
https://projects.gentoo.org/pms/6/pms.html#x1-780008.2 |
| 31 |
|
| 32 |
Ulrich |
Archives