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 E0AEE139694 for ; Thu, 15 Jun 2017 16:23:28 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 7FDF121C205; Thu, 15 Jun 2017 16:23:22 +0000 (UTC) Received: from mail-wr0-x22d.google.com (mail-wr0-x22d.google.com [IPv6:2a00:1450:400c:c0c::22d]) (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 1BC6621C09C for ; Thu, 15 Jun 2017 16:23:21 +0000 (UTC) Received: by mail-wr0-x22d.google.com with SMTP id 77so25240805wrb.1 for ; Thu, 15 Jun 2017 09:23:21 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20161025; h=date:from:to:subject:message-id:in-reply-to:references:mime-version :content-transfer-encoding; bh=8vPsaNIl19UWyK37kNcD3y1KCK3eFkjvRnbiEp22igA=; b=jlCFJ0u02kpEsnDfH0Ji1S20wafr1a/aslusHylh8ZXSe4QAxStwpkjtKzPmupZk4v n0TexO3S/938jBP3fN+rRqa/PgD42EzSK3f5O9TPX0rcsmzVsnkOpP3/AxSA58V2DkC1 HI0udBuxdpG4s1wihIfW7rVwRY9ps3D3T/85Bvty6seDM7ZQshv4tE1b3IWxaOCXgQ69 457043wZ/1iI7OkRhVZ2WnXR+4i6gaj+5uwiNDzV4J6myxjY4RuECTalseL/NNqBCXYD E25WV4E66NpV2hYruQqAoFyywpDYSzoOuDgW3f+Fi3+QZYQzAk4oxN2Bbc1Q55S0PHza GAQg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:subject:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=8vPsaNIl19UWyK37kNcD3y1KCK3eFkjvRnbiEp22igA=; b=paL3B2RxkIfW60Fz3aB7KxH0UxVqGLnFoAH/ATQWJF9fNnFtGamO1deqvaimiTDFJ5 yY4dl4kqT+Dk0C60QRnVASOns/nHfqi+RCyw5VB/K00+NeN1bGr6nqvDlk5UPix2PoOT Pl4pxCmCJjqzK3MI+buTkZh6T9CmXWrnjH/L1doGDtygHX9W/eGqtJ3tkzoDD9j/QzTQ UFsxMUeUOXJMIA2Ng3jV+L33w9z/5cks91a/YhkpEKvkoguZw9saJpfRqGU37gDbw/MC hbcCrmGXAF3kj3dgOgcQxI9jojlvLA0ko3YfckmZCSO6rRkSHxOaGwyCDInOnnRPf5Dw kLNQ== X-Gm-Message-State: AKS2vOyLU13tHzBX5loyXImEFyf/ZfxT2wfNy7iDCMBfIrVQ8mRico6j lEBraFk5u+p6wF2Z X-Received: by 10.223.130.162 with SMTP id 31mr4111351wrc.202.1497543799000; Thu, 15 Jun 2017 09:23:19 -0700 (PDT) Received: from snowblower (cpc4-broo7-2-0-cust35.14-2.cable.virginm.net. [82.8.215.36]) by smtp.gmail.com with ESMTPSA id o23sm299937wra.56.2017.06.15.09.23.18 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Thu, 15 Jun 2017 09:23:18 -0700 (PDT) Date: Thu, 15 Jun 2017 17:22:26 +0100 From: Ciaran McCreesh To: gentoo-dev@lists.gentoo.org Subject: Re: [gentoo-dev] [RFC] Forced/automatic USE flag constraints (codename: ENFORCED_USE) Message-ID: <20170615172226.533e1ac9@snowblower> In-Reply-To: <20170615181904.25479e47@gentoo.org> References: <1496071993.31087.1.camel@gentoo.org> <20170606140803.051f8048@gentoo.org> <1496770744.1157.1.camel@gentoo.org> <20170607101759.7e21f0f6@gentoo.org> <1496827679.2129.3.camel@gentoo.org> <20170607115654.2a5da5e2@gentoo.org> <1496999960.29391.1.camel@gentoo.org> <20170609134110.418ae6ac@gentoo.org> <1497012847.25475.4.camel@gentoo.org> <20170609161619.1b72ad5b@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> X-Mailer: Claws Mail 3.13.0 (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: b801e5b5-81fb-43e1-b5a2-ba9b90f6b2b4 X-Archives-Hash: 44af7e4c3b72a32677b3892f43f879ee On Thu, 15 Jun 2017 18:19:04 +0200 Alexis Ballier wrote: > On Thu, 15 Jun 2017 17:13:57 +0100 > Ciaran McCreesh wrote: > > On Thu, 15 Jun 2017 18:07:00 +0200 > > Alexis Ballier wrote: > > > > The best way to convince me is through valid examples. > > > > > > It is also easier to be convinced when you try to understand and > > > ask for clarifications instead of just rejecting without > > > thinking :) > > > > The problem with this entire proposal is that it's still in "well I > > can't think of how it could possibly go wrong" territory. We need a > > formal proof that it's sound. History has shown that if something > > can be abused by Gentoo developers, it will be abused... > > Had you read the thread you would have noticed that I provided an > algorithm giving sufficient conditions for the solver to work. That > is, if developers pay attention to repoman warnings/errors, it will > never fail. Obviously, since we're still in the SAT space, you can > ignore the errors and make it fail, but it'll never be worse than what > we currently have. You have shown that you produce a solution, not the solution that's actually wanted. -- Ciaran McCreesh