Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 17 Dec 2014 08:34:42 -0800
From:      Craig Rodrigues <rodrigc@FreeBSD.org>
To:        ports <freebsd-ports@freebsd.org>, freebsd-pkg@freebsd.org
Subject:   pkg 1.4.0 pkg: Cannot solve problem using SAT solver: spandsp-devel
Message-ID:  <CAG=rPVfabU8fH%2BcS9UQAffWCmu-r0q9CFnk2UcbiSP_w%2BESUmQ@mail.gmail.com>

next in thread | raw e-mail | index | archive | help
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

--
Craig



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CAG=rPVfabU8fH%2BcS9UQAffWCmu-r0q9CFnk2UcbiSP_w%2BESUmQ>