Skip site navigation (1)Skip section navigation (2)
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
This is an OpenPGP/MIME signed message (RFC 4880 and 3156)
--UCKEVsTCdCILH7H50cO0O4uRUwSOGdUqh
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

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=3D4 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



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

-----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-----

--UCKEVsTCdCILH7H50cO0O4uRUwSOGdUqh--



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?5554B24C.7000801>