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 178B61382C5 for ; Sat, 10 Feb 2018 08:20:50 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id C4622E099C; Sat, 10 Feb 2018 08:20:42 +0000 (UTC) Received: from smtp.gentoo.org (mail.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (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 77642E098E for ; Sat, 10 Feb 2018 08:20:42 +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 22D81335C51; Sat, 10 Feb 2018 08:20:39 +0000 (UTC) Message-ID: <1518250836.1474.3.camel@gentoo.org> Subject: Re: [gentoo-dev] SAT-based dependency solver: request for test cases From: =?UTF-8?Q?Micha=C5=82_G=C3=B3rny?= To: gentoo-dev@lists.gentoo.org Date: Sat, 10 Feb 2018 09:20:36 +0100 In-Reply-To: References: Organization: Gentoo Content-Type: text/plain; charset="UTF-8" X-Mailer: Evolution 3.24.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 Content-Transfer-Encoding: 8bit X-Archives-Salt: c82aacc6-9bc7-4d9a-9269-a7fe5893d331 X-Archives-Hash: b658a024d72e207f00452be3c214ddad W dniu wto, 06.02.2018 o godzinie 11∶52 +0100, użytkownik Michael Lienhardt napisał: > Dear all, > > With the help of some friends and colleagues, I am working on an SAT-based dependency solver for portage. > We need your help to test it and possibly improve in the long run the already great portage toolset. > > To help, you can send us the tar generated by this bash script: https://raw.githubusercontent.com/HyVar/gentoo_to_mspl/master/benchmarks/get_installation.sh > This bash script extracts your world file, the USE flags and keywords configuration of your system and the list of installed packages you have (it should not take more than few seconds). > With this, we will see if our solver is able to recreate your system and how much time it takes. > To be honest, I don't think this is the right approach to the problem. Truth is, dependencies in Gentoo are seriously broken, and most of the developers aren't even aware of that because of layers upon layers of hacks in Portage that make emerge somewhat go on. If you are really able to build something on top of the input you receive, it's probably going to be even worse than what's already in Portage. Example: many packages have impossible circular dependencies. However, Portage conditionally pretends they don't exist, preferring some random install-time breakage over fixing the packages in question. -- Best regards, Michał Górny