Anyone experiencing SAT Solver troubles

[Matthew Seaman]

Dear all,

We've had a number of bug reports about updates failing and the SAT
solver printing out something like:

    pkg: Cannot solve problem using SAT solver:
    dependency rule: package fireflies(l) depends on: libgfx(r)libgfx(l)
    upgrade rule: upgrade local libgfx-1.1.0_9 to remote libgfx-1.1.0_9
    cannot install package libgfx, remove it from request? [Y/n]: y

for various different packages being updated and various different
dependency packages.  It seems that libreoffice amongst others is
frequently affected.

We believe that the problem is due to a difference in the shlib data
recorded by pkg-1.4.x versus pkg-1.5.2. If the /dependency/ package was
created using pkg-1.4.x and it hasn't been updated since you've upgraded
to pkg-1.5.2 then you could be seeing this effect.

A quick fix seems to be:

    pkg check -Ba

and then retry your 'pkg upgrade' or whatever.

If pkg-check doesn't fix the problem, then please re-run your
problematic command with full debugging enabled:

    env DEBUG_LEVEL=4 pkg ....

save the output, make it available so the devs can look at it and add a
report of what you're experiencing to issue #1248 on github:
https://github.com/freebsd/pkg/issues/1248 including the location of
your debug output.

	Cheers,

	Matthew


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 949 bytes
Desc: OpenPGP digital signature
URL: <http://lists.freebsd.org/pipermail/freebsd-pkg/attachments/20150514/c331d794/attachment.sig>