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

[Bryan Drewery]

On 12/18/2014 12:06 AM, Craig Rodrigues wrote:
> 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.

The promise/goal with 1.3+ is that you should not have to. Pkg is bugged
here. The solver integration is not yet mature.


-- 
Regards,
Bryan Drewery

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: <http://lists.freebsd.org/pipermail/freebsd-ports/attachments/20141218/1edcc0f1/attachment.sig>