Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 18 Dec 2014 20:49:51 -0600
From:      Bryan Drewery <bdrewery@FreeBSD.org>
To:        Craig Rodrigues <rodrigc@FreeBSD.org>, Guido Falsi <mad@madpilot.net>
Cc:        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:  <5493924F.9010308@FreeBSD.org>
In-Reply-To: <CAG=rPVfhwav1OVOUUwYV2-hbhg8--o_-fPrn5qcD5uNB38Ud7w@mail.gmail.com>
References:  <CAG=rPVfabU8fH%2BcS9UQAffWCmu-r0q9CFnk2UcbiSP_w%2BESUmQ@mail.gmail.com> <5491B548.8060306@madpilot.net> <CAG=rPVfhwav1OVOUUwYV2-hbhg8--o_-fPrn5qcD5uNB38Ud7w@mail.gmail.com>

next in thread | previous in thread | raw e-mail | index | archive | help
This is an OpenPGP/MIME signed message (RFC 4880 and 3156)
--xIQcBXWXmpV3v56ClDh6hc5j0dN9QhAWH
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: quoted-printable

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


--=20
Regards,
Bryan Drewery


--xIQcBXWXmpV3v56ClDh6hc5j0dN9QhAWH
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: OpenPGP digital signature
Content-Disposition: attachment; filename="signature.asc"

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (MingW32)

iQEcBAEBAgAGBQJUk5JPAAoJEDXXcbtuRpfPnOUIAKSoS/TUvZF9OYA4hp4JruTH
9VXg/4mhigo6Cky0xOg+wiciKdsaeoB9LrifJKr9El4W2OhsL/WZ3hGqXV8Y+kNl
DjNuvF43q8yaR24wF5Lcs/cB2P6fba2naZXf0F9i4+OmsDO4wCoh31S6IrSuJYG6
LnWCRNRNXlxMYtTIUzOFBN2VgBPcJsKKnDP8iOe2tOFAcSiMmshRL+vfx6Cm9gAu
UXLDeE2J+GQknQXnYNfVvZ4AFNz8FxHwNxk/6Md8CS2FoW6UD+RZWahpU0CJrsQH
Eq9TJF90GbJKTw+VQAYmiUgQlmFtgTrlznrjjhH2VDxsrG+ifdI+aUf7Eep8n/w=
=VyFA
-----END PGP SIGNATURE-----

--xIQcBXWXmpV3v56ClDh6hc5j0dN9QhAWH--



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?5493924F.9010308>