From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) by finch.gentoo.org (Postfix) with ESMTP id C5BF11386F3 for ; Wed, 12 Aug 2015 19:44:44 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id CD00F1427B; Wed, 12 Aug 2015 19:44:37 +0000 (UTC) Received: from mail-wi0-f177.google.com (mail-wi0-f177.google.com [209.85.212.177]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id CA95814269 for ; Wed, 12 Aug 2015 19:44:36 +0000 (UTC) Received: by wijp15 with SMTP id p15so231336785wij.0 for ; Wed, 12 Aug 2015 12:44:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=date:from:to:subject:message-id:in-reply-to:references:mime-version :content-type; bh=b2Eyc+oKxz3Q2Bp/ao69iJZRLqyRUG6fezeF+l5lnjk=; b=sZbt6kArdrTf/Puh1LdJUtlHNaMfO6hv1TgEWwPR0zIP7sSGnrIX5FVUnb/m667ExP 5EXAIVOhMIN0m5JF0edkUc+LVwRVpK4GlqrzUxjAZCSv+PvvRg+QwmqO+f5e4Hz02va5 ukNdBN/5kq1z4+mxO6HbA16IDd+PxvUtW1l0cya+YsXzwiRLGDZ69KhaKmHCKsubJRiw xgRqgLvkI+SrklMfU2/nI3nCU0UwwdniHJ3k7KCRsQL28ArsZ76uGZw/GwiAgL20nZEq uq8NcBoyy1ioIiJ8N7r55gLnm719ECe/FykBkv+qIvqV4afa/uUYhYqNvSSgMAbxP3Mz RGlQ== X-Received: by 10.180.80.70 with SMTP id p6mr50578264wix.43.1439408675665; Wed, 12 Aug 2015 12:44:35 -0700 (PDT) Received: from localhost (cpc67371-broo7-2-0-cust693.14-2.cable.virginm.net. [82.28.182.182]) by smtp.gmail.com with ESMTPSA id j2sm9380719wjq.5.2015.08.12.12.44.34 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 12 Aug 2015 12:44:35 -0700 (PDT) Date: Wed, 12 Aug 2015 20:44:29 +0100 From: Ciaran McCreesh To: gentoo-dev@lists.gentoo.org Subject: Re: [gentoo-dev] Re: useflag policies Message-ID: <20150812204429.4f420fdd@googlemail.com> In-Reply-To: <20150812212248.6d249de9@gentoo.org> References: <55C7AC24.2040503@gentoo.org> <55C9CA32.3060300@gentoo.org> <55C9F189.10102@gentoo.org> <20150812052120.5a83c3b1@googlemail.com> <55CB4CB0.8050208@gentoo.org> <20150812143819.GA25080@linux1> <20150812182304.0452d97d@googlemail.com> <21963.33933.738893.285125@a1i15.kph.uni-mainz.de> <21963.34267.514237.473502@a1i15.kph.uni-mainz.de> <20150812185053.49f525fb@googlemail.com> <21963.35274.269467.488889@a1i15.kph.uni-mainz.de> <20150812201908.541a94f2@gentoo.org> <20150812192537.2a0969b1@googlemail.com> <20150812212248.6d249de9@gentoo.org> X-Mailer: Claws Mail 3.9.3 (GTK+ 2.24.26; 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: multipart/signed; micalg=pgp-sha1; boundary="Sig_/1S4sFiE4a8NfyCC9QKiBzVx"; protocol="application/pgp-signature" X-Archives-Salt: 2c3af626-d680-4b54-9aed-e8f1ca0293fa X-Archives-Hash: 3c49c245ed8813902f50b6bafddbda40 --Sig_/1S4sFiE4a8NfyCC9QKiBzVx Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable On Wed, 12 Aug 2015 21:22:48 +0200 Alexis Ballier wrote: > On Wed, 12 Aug 2015 19:25:37 +0100 > Ciaran McCreesh wrote: > > On Wed, 12 Aug 2015 20:19:08 +0200 > > Alexis Ballier wrote: > > > pkg_pretend still needs to be executed to guess what useflags are > > > enabled or not, which information is needed before dependency > > > calculation > >=20 > > You'd probably be implementing this in a "SAT modulo theories" kind > > of way: find a solution, do the pkg_pretend checks, and if it fails > > spit a nogood back into the resolver. > >=20 > > But this entire discussion is pointless, since Portage doesn't and > > won't auto-resolve this stuff. >=20 > considering its speed (at least for portage) and the complexity of the > thing, running the dep solver N times, where N is probably unbounded > doesn't seem benefical at all >=20 > esp. since a modified REQUIRED_USE can achieve the same But you'd be running it N times to fix a REQUIRED_USE problem anyway. --=20 Ciaran McCreesh --Sig_/1S4sFiE4a8NfyCC9QKiBzVx Content-Type: application/pgp-signature; name=signature.asc Content-Disposition: attachment; filename=signature.asc -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iEYEARECAAYFAlXLoh0ACgkQ96zL6DUtXhFDTQCguyA6muvId9E5IhOdx1qXQyMP PQAAn0/KDIaMcAlltE5iQlMWxXAxtxNU =kB7N -----END PGP SIGNATURE----- --Sig_/1S4sFiE4a8NfyCC9QKiBzVx--