diff options
author | Michał Górny <mgorny@gentoo.org> | 2017-06-26 17:22:59 +0000 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2017-06-26 17:22:59 +0000 |
commit | 714d1b6eadc65da2404a299b79d3c8ead3a3f611 (patch) | |
tree | af9d907ee94c6d516b756fa0ea83ea1c2404e043 | |
parent | /* QA checks/verification */ necessity for verification (diff) | |
download | glep-714d1b6eadc65da2404a299b79d3c8ead3a3f611.tar.gz glep-714d1b6eadc65da2404a299b79d3c8ead3a3f611.tar.bz2 glep-714d1b6eadc65da2404a299b79d3c8ead3a3f611.zip |
/* Requirements for REQUIRED_USE constraints */ back-alteration is only a problem if it changes anything
-rw-r--r-- | GLEP:73.mw | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -127,7 +127,7 @@ In order to verify the ability to solve REQUIRED_USE reliably, the QA check tool # no valid combination of USE flags can result in the constraint requesting the same flag to be simultaneously both enabled and disabled; # no valid combination of USE flags (that is, not prohibited by immutable flags) can attempt to alter immutable flags; -# no constraint in REQUIRED_USE may alter flags in such a way that any of the constraints preceding it would start to apply. +# no constraint in REQUIRED_USE may alter flags in such a way that any of the constraints preceding it would start to apply and change the resulting flags in a second iteration. ====The algorithm to verify REQUIRED_USE constraints==== The exact algorithm used to verify is still work-in-progress. It will be provided in the later phase of this GLEP. |