Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 636596 - [Future EAPI] Empty any-of and exactly-one-of groups should not count as being matched
Summary: [Future EAPI] Empty any-of and exactly-one-of groups should not count as bein...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Hosted Projects
Classification: Unclassified
Component: PMS/EAPI (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Package Manager Specification
URL:
Whiteboard: in-eapi-7
Keywords:
Depends on:
Blocks: future-eapi
  Show dependency tree
 
Reported: 2017-11-05 11:12 UTC by Ulrich Müller
Modified: 2018-04-30 22:46 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Ulrich Müller gentoo-dev 2017-11-05 11:12:13 UTC
The common behaviour for empty OR and XOR operations is that they evaluate to false. Contrary to this, empty any-of and exactly-one-of groups count as being matched.

In the 2017-10-08 council meeting, the following motion passed:
1) PMS changes as detailed in https://archives.gentoo.org/gentoo-pms/message/a612bdc64f7aa3e556b129a67493da1b
2) note that PMS team comes up with a proposal for the next EAPI to define a behavior that seems correct in terms of resolver and our uses

The first change has been applied retroactively (matching Portage behaviour and the state of the Gentoo repository). 

The proposal for EAPI 7 is to have empty any-of and exactly-one-of groups (which still can result from collapsing USE conditionals) evaluate to false.
Comment 1 Larry the Git Cow gentoo-dev 2018-03-04 21:05:02 UTC
The bug has been referenced in the following commit(s):

https://gitweb.gentoo.org/proj/portage.git/commit/?id=9ebd5865559aa17186c23c90c6a90894449dc3ac

commit 9ebd5865559aa17186c23c90c6a90894449dc3ac
Author:     Michał Górny <mgorny@gentoo.org>
AuthorDate: 2018-02-26 13:09:32 +0000
Commit:     Michał Górny <mgorny@gentoo.org>
CommitDate: 2018-03-04 21:03:52 +0000

    Empty || *DEPEND group no longer satisfy deps in EAPI 7
    
    Bug: https://bugs.gentoo.org/636596

 pym/portage/dep/__init__.py             | 3 +++
 pym/portage/tests/resolver/test_eapi.py | 9 ++++++++-
 2 files changed, 11 insertions(+), 1 deletion(-)

https://gitweb.gentoo.org/proj/portage.git/commit/?id=83f059e7db3a269e994e70f98b0e406f819b19e5

commit 83f059e7db3a269e994e70f98b0e406f819b19e5
Author:     Michał Górny <mgorny@gentoo.org>
AuthorDate: 2018-02-26 12:48:37 +0000
Commit:     Michał Górny <mgorny@gentoo.org>
CommitDate: 2018-03-04 21:03:52 +0000

    Empty ||/^^ REQUIRED_USE groups are no longer true in EAPI 7
    
    Bug: https://bugs.gentoo.org/636596

 pym/portage/dep/__init__.py                     |  4 ++--
 pym/portage/eapi.py                             | 10 ++++++++--
 pym/portage/tests/dep/testCheckRequiredUse.py   |  5 +++--
 pym/portage/tests/resolver/test_required_use.py |  8 ++++++++
 4 files changed, 21 insertions(+), 6 deletions(-)}
Comment 2 Larry the Git Cow gentoo-dev 2018-04-30 22:14:37 UTC
The bug has been referenced in the following commit(s):

https://gitweb.gentoo.org/proj/pms.git/commit/?id=7d6c155014d082cfc2b37f8a0ffee61feb275ea8

commit 7d6c155014d082cfc2b37f8a0ffee61feb275ea8
Author:     Ulrich Müller <ulm@gentoo.org>
AuthorDate: 2017-11-05 11:26:44 +0000
Commit:     Ulrich Müller <ulm@gentoo.org>
CommitDate: 2018-03-30 16:35:43 +0000

    EAPI 7: Empty || and ^^ groups no longer count as matched.
    
    Bug: https://bugs.gentoo.org/636596

 dependencies.tex     | 21 +++++++++++++++++++--
 eapi-differences.tex |  6 ++++++
 2 files changed, 25 insertions(+), 2 deletions(-)}