From owner-dev-commits-ports-all@freebsd.org Mon Jun 21 12:49:58 2021 Return-Path: Delivered-To: dev-commits-ports-all@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 91031646F40; Mon, 21 Jun 2021 12:49:58 +0000 (UTC) (envelope-from hps@selasky.org) Received: from mail.turbocat.net (turbocat.net [88.99.82.50]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 4G7q9x2HB7z3LH1; Mon, 21 Jun 2021 12:49:57 +0000 (UTC) (envelope-from hps@selasky.org) Received: from hps2020.home.selasky.org (unknown [178.17.145.105]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mail.turbocat.net (Postfix) with ESMTPSA id 402302600DF; Mon, 21 Jun 2021 14:49:49 +0200 (CEST) Subject: Re: git: b44acc9409bd - main - graphics/mesa-libs: enable libglvnd support To: Kevin Bowling , Baptiste Daroussin Cc: Kevin Bowling , ports-committers , dev-commits-ports-all@freebsd.org, dev-commits-ports-main@freebsd.org References: <202106170426.15H4Q4kS068821@gitrepo.freebsd.org> <1ac24e08-fe77-4cb1-934a-50439a71c72e@FreeBSD.org> From: Hans Petter Selasky Message-ID: Date: Mon, 21 Jun 2021 14:49:45 +0200 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:78.0) Gecko/20100101 Thunderbird/78.10.2 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 7bit X-Rspamd-Queue-Id: 4G7q9x2HB7z3LH1 X-Spamd-Bar: --- Authentication-Results: mx1.freebsd.org; dkim=none; dmarc=none; spf=pass (mx1.freebsd.org: domain of hps@selasky.org designates 88.99.82.50 as permitted sender) smtp.mailfrom=hps@selasky.org X-Spamd-Result: default: False [-3.30 / 15.00]; RCVD_TLS_ALL(0.00)[]; RCVD_VIA_SMTP_AUTH(0.00)[]; MID_RHS_MATCH_FROM(0.00)[]; FROM_HAS_DN(0.00)[]; TO_DN_SOME(0.00)[]; R_SPF_ALLOW(-0.20)[+a:mail.turbocat.net]; NEURAL_HAM_LONG(-1.00)[-1.000]; MIME_GOOD(-0.10)[text/plain]; DMARC_NA(0.00)[selasky.org]; ARC_NA(0.00)[]; RCPT_COUNT_FIVE(0.00)[6]; SPAMHAUS_ZRD(0.00)[88.99.82.50:from:127.0.2.255]; TO_MATCH_ENVRCPT_SOME(0.00)[]; RBL_DBL_DONT_QUERY_IPS(0.00)[88.99.82.50:from]; NEURAL_HAM_SHORT(-1.00)[-0.999]; NEURAL_HAM_MEDIUM(-1.00)[-1.000]; FROM_EQ_ENVFROM(0.00)[]; R_DKIM_NA(0.00)[]; MIME_TRACE(0.00)[0:+]; ASN(0.00)[asn:24940, ipnet:88.99.0.0/16, country:DE]; RCVD_COUNT_TWO(0.00)[2]; MAILMAN_DEST(0.00)[dev-commits-ports-all,dev-commits-ports-main] X-BeenThere: dev-commits-ports-all@freebsd.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: Commit messages for all branches of the ports repository List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 21 Jun 2021 12:49:58 -0000 On 6/19/21 9:58 PM, Kevin Bowling wrote: >> I say probably here because you can imagine the complexity to test the solver in all possible cases, so I am not 100% sure. To be fair writting those explanations for you (sincerly thank you for asking me to explain it in this particular case) made me think of a corner case which might help me being able to automatically catch the Xephyr case here and makes upgrade more reliable for end users if I manage to write it is code now:) > I wonder what hps is up to:) https://github.com/hselasky/libhpsat > Hi Bapt, Thanks for noticing. I have infact tested it with pkg's CNF output, but it is not ready yet for main consumption. If you are interested in such matters, feel free to contribute. The solving engine is pretty compact and uses only a few generic rules. It may give good insight into making a non-SAT solver for the PKG dependencies. hpsolve (with some modifications) can solve the ports PKGs efficiently and quickly (I've tested that), but needs a bit more time, because it doesn't just spin some numbers looking for conflicts. Most of the time the picosat solver in PKG works OK. --HPS