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 35048139694 for ; Tue, 30 May 2017 14:12:24 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 11868E0EDF; Tue, 30 May 2017 14:12:14 +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 B7563E0ED2 for ; Tue, 30 May 2017 14:12:13 +0000 (UTC) Received: from pomiot (d202-252.icpnet.pl [109.173.202.252]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) (Authenticated sender: mgorny) by smtp.gentoo.org (Postfix) with ESMTPSA id 014463416E4; Tue, 30 May 2017 14:12:11 +0000 (UTC) Message-ID: <1496153527.1238.1.camel@gentoo.org> Subject: Re: [gentoo-dev] [RFC] Forced/automatic USE flag constraints (codename: ENFORCED_USE) From: =?UTF-8?Q?Micha=C5=82_G=C3=B3rny?= To: gentoo-dev@lists.gentoo.org Date: Tue, 30 May 2017 16:12:07 +0200 In-Reply-To: <20170530113439.06178b52@gentoo.org> References: <1496071993.31087.1.camel@gentoo.org> <20170529200037.2559f80a@gentoo.org> <1496093035.12795.3.camel@gentoo.org> <20170530094245.40e1cf64@gentoo.org> <1496132988.1617.3.camel@gentoo.org> <20170530113439.06178b52@gentoo.org> Organization: Gentoo Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-uhlUP+hpFJ9DTwg+q5jc" X-Mailer: Evolution 3.22.6 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 X-Archives-Salt: 383626c5-1b85-4801-98cd-a3ab036a3015 X-Archives-Hash: ea78db382f6fd4e82ae0565fc06103fb --=-uhlUP+hpFJ9DTwg+q5jc Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On wto, 2017-05-30 at 11:34 +0200, Alexis Ballier wrote: > Sidenote: I just realized '|| ( a b c )' with left-most preference > > > might be better since we are not dealing with binary variables but > > > ternary ones (user disabled, user enabled, unspecified). 'USE=3D"" || > > > ( a b c )' should evaluate to 'a', 'USE=3D"-a" || ( a b c )' should > > > evaluate to 'b'. I don't see how to rewrite that with pure > > > implications. =20 > >=20 > > The ternary concept is not exactly in line with how we handle USE > > flags now. It's more like multi-layer binary. My proposal solved the > > problem you were trying to solve via establishing priorities -- I > > find it simpler to reorder the flags and use binary logic than to > > invent a more complex logic to solve the same problem. >=20 > I've re-read your proposal entirely and I don't see where you describe > how to establish priorities. You describe how users can specify those, > but nowhere do I see any default priority being mandated. If you > describe and mandate it, then all is good I think. As I said, there > are plenty of ways to solve the problem but it has to be mandated > otherwise you're just postponing issues, not solving them. >=20 Hmm, I'm sorry then, I must've missed specifying it. Of course the intent was that the default preference was deterministic. I would go for 'left-most first' idea, as that seems the most obvious. --=20 Best regards, Micha=C5=82 G=C3=B3rny --=-uhlUP+hpFJ9DTwg+q5jc Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iQKmBAABCgCQFiEEbbsHzE8NrQbqCv5BsHoa6u+0Rk4FAlktfbhfFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDZE QkIwN0NDNEYwREFEMDZFQTBBRkU0MUIwN0ExQUVBRUZCNDQ2NEUSHG1nb3JueUBn ZW50b28ub3JnAAoJELB6GurvtEZOTAYP/Ave0R+K0bgWY115amDdcK6UwpEEYOqe kLZHA8GtL35y+xKcINOd0lVwHqUi3MzLTO4ptD2NQ31r2LqryRb9xwWxSPfAO8wF xqwha7JPxvIqVC0YwpcNG90pZXbKGgk8bDYhz30xc6lWG64slZ1JRJ9gutu49MrF bFb52FWZbfQngzzu0PNvX3nkid5TgugjFv0HhEjpgds1scqNFt1pF5XQe3NrZwni 6o4SeR68yZpTqJqkjvG+MeXHqkbx+T/Phj76PLQznO510n0zDzwrjYP6r0GOJ0ah HXb4xfxZ3OljYdNOv6aJVg5GoK+gV9J43R9j3lpFdH8q/1kxqlk1MWzF68sga7by pvhpNBVC1MszTy6sQsQ4mGghq6vS5UYFcFTegezOigHN+QnWQWd08TKO1nGlyCwg s03Oe9nzDflUmSiLtoydRrK+IRHz0OrAj371rngarwtbeARSxaE68tOrbh17b9+n EOnD0fLiXcUPjL0/JnJnQ9y6xN5GNFoV8chYbdvOnU0wKwW0/B2X944uGSR3WtsM M6iIdSiKvi7nwSIhExHxeWWyk8pY7rmjZthdd8fgjyy9iCb9NsbQZtxGthr1txHW +hlVrSpysn5pymDcNMOEA8gja+S0HpAqwWDHN0k3RwzwUzgGmzfM3tARJYjmbyB5 +CQkrfGkc6y4 =HZay -----END PGP SIGNATURE----- --=-uhlUP+hpFJ9DTwg+q5jc--