Gentoo Archives: gentoo-dev

From: Alexis Ballier <aballier@g.o>
To: gentoo-dev@l.g.o
Subject: Re: [gentoo-dev] [RFC] Forced/automatic USE flag constraints (codename: ENFORCED_USE)
Date: Wed, 31 May 2017 07:35:22
Message-Id: 20170531093420.720213c5@gentoo.org
In Reply to: Re: [gentoo-dev] [RFC] Forced/automatic USE flag constraints (codename: ENFORCED_USE) by Ciaran McCreesh
1 On Wed, 31 May 2017 08:24:20 +0100
2 Ciaran McCreesh <ciaran.mccreesh@××××××××××.com> wrote:
3
4 > On Wed, 31 May 2017 08:55:17 +0200
5 > Michał Górny <mgorny@g.o> wrote:
6 > > For example:
7 > >
8 > > foo? ( bar )
9 > >
10 > > would mean 'if you have USE=foo, then USE=bar is enabled as well'.
11 >
12 > What about "if bar cannot be enabled, then turn foo off"?
13 >
14
15 You ask a constructivist who'll yell at you saying that 'foo -> bar' is
16 not equivalent to '!bar -> !foo'. You'll have to write the latter as
17 well if you want that.