Date: Thu, 14 May 2015 15:33:48 +0100 From: Matthew Seaman <matthew@freebsd.org> To: freebsd-pkg@freebsd.org Subject: Anyone experiencing SAT Solver troubles Message-ID: <5554B24C.7000801@freebsd.org>
next in thread | raw e-mail | index | archive | help
[-- Attachment #1 --]
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
[-- Attachment #2 --]
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
iQJ8BAEBCgBmBQJVVLJMXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQxOUYxNTRFQ0JGMTEyRTUwNTQ0RTNGMzAw
MDUxM0YxMEUwQTlFNEU3AAoJEABRPxDgqeTn/jUQAKYWVOVWIU/k81wq+XGILXSI
ElMr7gAlcTDW0ahaKNitz96OYLr3AGE6LncPLT4PjbJfzqszp/NleNnNbdWkCS8V
Stkx4vuB1ksk7awq2REe6swDCARhMDzvlrE8AltNLw1rfLqusYlkSzRrhqt+PJK6
m1vB4RezWNv+4Zh+0hPxpWk8h06FMNohX6nRA0LOulDU11DZPcrlU84H7iMyfU7H
MnI24gkRHqNU1XPAwXUAlJY2g+9p6B0F160/bnWD+ENyUtVHVCGqdIzXmCtuocHd
+BKJmfbT9pLP+KW/B4e3f0KIA53j+KJIKzZ9uKu8rudLmHZjWtrsEGdonZ1l9jIh
WPSOs6/lyfAOjZtwzJTxSrrlYT7n7OW+h2AuZaRrI7nQMSSLu4wg/Afx9HZSWHlj
b2kF/YEByRpc+hwhjxCI3f6btVS7j1kh72gDLn7jW4JMc/F2mYAQZlxlNzUcFzGS
zUtuB3uggPpuM94YNY/x1Evlm0qiUxvA7JrFJt3/1ARNnqeHiqVmnZzIDIolZ94j
1Leq+OQNedc+f5+YPoqIlP3qweIctdhbKYK6thdTYJzPKs6+nzQzw1oFYnDOEszz
LoOA+hzuDbCNZrBESsbqkYgsiJCCtFJ4Br3hZL6JXI+QmbWigqiYNXRmKq76iGVw
+UfYb0pyjkncmB4M3cMd
=/KAz
-----END PGP SIGNATURE-----
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?5554B24C.7000801>