Date: Wed, 17 Dec 2014 17:54:32 +0100 From: Guido Falsi <mad@madpilot.net> To: Craig Rodrigues <rodrigc@FreeBSD.org>, ports <freebsd-ports@freebsd.org>, freebsd-pkg@freebsd.org Subject: Re: pkg 1.4.0 pkg: Cannot solve problem using SAT solver: spandsp-devel Message-ID: <5491B548.8060306@madpilot.net> In-Reply-To: <CAG=rPVfabU8fH%2BcS9UQAffWCmu-r0q9CFnk2UcbiSP_w%2BESUmQ@mail.gmail.com> References: <CAG=rPVfabU8fH%2BcS9UQAffWCmu-r0q9CFnk2UcbiSP_w%2BESUmQ@mail.gmail.com>
next in thread | previous in thread | raw e-mail | index | archive | help
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. Not sure but maybe also "pkg set -o comms/spandsp-devel:comms/spandsp" could work. -- Guido Falsi <mad@madpilot.net>
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?5491B548.8060306>