Date: Mon, 21 Jun 2021 14:49:45 +0200 From: Hans Petter Selasky <hps@selasky.org> To: Kevin Bowling <kevin.bowling@kev009.com>, Baptiste Daroussin <bapt@freebsd.org> Cc: Kevin Bowling <kbowling@freebsd.org>, ports-committers <ports-committers@freebsd.org>, dev-commits-ports-all@freebsd.org, dev-commits-ports-main@freebsd.org Subject: Re: git: b44acc9409bd - main - graphics/mesa-libs: enable libglvnd support Message-ID: <e98b64ec-ba09-5b67-6efb-6795f526cbae@selasky.org> In-Reply-To: <CAK7dMtD-YmNSnOZVpwMZxV6i2SxU6Hv5cd9B7j4js2L0=RMp3Q@mail.gmail.com> References: <202106170426.15H4Q4kS068821@gitrepo.freebsd.org> <1ac24e08-fe77-4cb1-934a-50439a71c72e@FreeBSD.org> <CAK7dMtBSkTujvQogs0W4rSzbU%2BU=1z05u3OEukdcPObrCdi7Uw@mail.gmail.com> <d66fad30-e277-4d60-bc43-634952cda641@FreeBSD.org> <CAK7dMtD-YmNSnOZVpwMZxV6i2SxU6Hv5cd9B7j4js2L0=RMp3Q@mail.gmail.com>
next in thread | previous in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?e98b64ec-ba09-5b67-6efb-6795f526cbae>