Date: Wed, 17 Dec 2014 22:06:48 -0800 From: Craig Rodrigues <rodrigc@FreeBSD.org> To: Guido Falsi <mad@madpilot.net> Cc: freebsd-pkg@freebsd.org, ports <freebsd-ports@freebsd.org> Subject: Re: pkg 1.4.0 pkg: Cannot solve problem using SAT solver: spandsp-devel Message-ID: <CAG=rPVfhwav1OVOUUwYV2-hbhg8--o_-fPrn5qcD5uNB38Ud7w@mail.gmail.com> In-Reply-To: <5491B548.8060306@madpilot.net> References: <CAG=rPVfabU8fH%2BcS9UQAffWCmu-r0q9CFnk2UcbiSP_w%2BESUmQ@mail.gmail.com> <5491B548.8060306@madpilot.net>
next in thread | previous in thread | raw e-mail | index | archive | help
On Wed, Dec 17, 2014 at 8:54 AM, Guido Falsi <mad@madpilot.net> wrote: > > On 12/17/14 17:34, Craig Rodrigues wrote: > > Hi, > > > > I did a "pkg update -f ; pkg upgrade -y" on a FreeBSD 10-stable > > system and ran into this error: > > > > Checking integrity... done (3 conflicting) > > pkg: Cannot solve problem using SAT solver: > > pkg: cannot find spandsp-devel in the request > > pkg: cannot solve job using SAT solver > > Checking integrity... done (0 conflicting) > > Conflicts with the existing packages have been found. > > One more solver iteration is needed to resolve them. > > > > As an end-user installing packages, this error message makes no > > sense at all to me, and doesn't tell me what I need to do > > to fix the problem. Can this (and other SAT solver) error messages > > be enhanced to include some hints as to what a user must do > > to solve the problem? > > > > What seemed to get me past this problem was to: > > > > pkg delete -f spandsp-devel > > pkg upgrade -y > > > > that's what UPDATING entry 20141215 suggests. It is always better to > look at it. > > > Thanks for the UPDATING pointer. You are correct. However, I would still like to see an error message from pkg which gives the user a better idea of what to do to solve the problem. For people who install/upgrade binary packages, they don't always read ports/UPDATING. I know I don't. -- Craig
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CAG=rPVfhwav1OVOUUwYV2-hbhg8--o_-fPrn5qcD5uNB38Ud7w>