From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 430E6139694 for ; Thu, 15 Jun 2017 18:09:15 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id C061A21C1D6; Thu, 15 Jun 2017 18:09:09 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 7931621C08C for ; Thu, 15 Jun 2017 18:09:09 +0000 (UTC) Received: from localhost (unknown [IPv6:2a01:e34:eeaa:6bd0:4ecc:6aff:fe03:1cfc]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) (Authenticated sender: aballier) by smtp.gentoo.org (Postfix) with ESMTPSA id 858D034179F for ; Thu, 15 Jun 2017 18:09:07 +0000 (UTC) Date: Thu, 15 Jun 2017 20:09:01 +0200 From: Alexis Ballier To: gentoo-dev@lists.gentoo.org Subject: Re: [gentoo-dev] [RFC] Forced/automatic USE flag constraints (codename: ENFORCED_USE) Message-ID: <20170615200901.35bfe18e@gentoo.org> In-Reply-To: <20170615184842.3928595f@snowblower> References: <1496071993.31087.1.camel@gentoo.org> <1497025310.25475.7.camel@gentoo.org> <20170611180518.5e28ddfa@gentoo.org> <20170612110836.7b670c93@gentoo.org> <1497295036.1575.10.camel@gentoo.org> <20170613122745.455b39f7@gentoo.org> <1497392022.29918.1.camel@gentoo.org> <20170614110659.6bf4d1c2@gentoo.org> <1497443088.1223.1.camel@gentoo.org> <20170614151606.70d5d559@gentoo.org> <1497448658.1223.3.camel@gentoo.org> <20170614160939.1b15d2fa@gentoo.org> <1497542353.2933.1.camel@gentoo.org> <20170615180700.11b3ef6a@gentoo.org> <20170615171357.5a190869@snowblower> <20170615181904.25479e47@gentoo.org> <20170615172226.533e1ac9@snowblower> <20170615183010.6a249ee3@gentoo.org> <20170615173240.70e89fef@snowblower> <20170615183716.0d92a5d2@gentoo.org> <20170615174509.0260522b@snowblower> <20170615185545.356d4492@gentoo.org> <20170615180435.394409d3@snowblower> <20170615193002.463a0e58@gentoo.org> <20170615184842.3928595f@snowblower> Organization: Gentoo X-Mailer: Claws Mail 3.15.0-dirty (GTK+ 2.24.31; x86_64-pc-linux-gnu) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-dev@lists.gentoo.org Reply-to: gentoo-dev@lists.gentoo.org MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Archives-Salt: 52371deb-ee5d-45c2-97be-21575baab394 X-Archives-Hash: 265d466f69e80a990824eaf6da8f796d On Thu, 15 Jun 2017 18:48:42 +0100 Ciaran McCreesh wrote: > On Thu, 15 Jun 2017 19:30:02 +0200 > Alexis Ballier wrote: > > On Thu, 15 Jun 2017 18:04:35 +0100 > > Ciaran McCreesh wrote: > > > On Thu, 15 Jun 2017 18:55:45 +0200 > > > Alexis Ballier wrote: > > > > The guarantee comes from the fact that the output is always in > > > > the space of all possible inputs from the user. So, if some > > > > output will kill a kitten, so does some input. > > > > > > USE=minimal > > > USE=mips > > > USE=-ssl > > > > > > > So what? > > So, if the aim of this solution is to make things better for the user, > what are you doing to establish that this will make things better for > the user instead of recommending something awful? > Considering that the way you write REQUIRED_USE defines how the solver behaves, your problem is ill defined. If I try to ask my crystal ball, I would say: USE=mips is either masked or forced so never an option. Developer would not want USE=minimal to be toggled randomly so would write a constraint so that it always appears e.g. on the left part of an implication.