pkg 1.4.0 pkg: Cannot solve problem using SAT solver: spandsp-devel

Craig Rodrigues rodrigc at FreeBSD.org
Thu Dec 18 06:06:50 UTC 2014


On Wed, Dec 17, 2014 at 8:54 AM, Guido Falsi <mad at 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


More information about the freebsd-ports mailing list