Anyone experiencing SAT Solver troubles

[mfv]

On Thu, 14 May 2015 15:33:48 +0100
Matthew Seaman <matthew at freebsd.org> wrote:

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

Hello Matthew,

Thanks for the fix.  I can verify that "pkg check -Ba" repaired the
problem when trying to upgrade libreoffice.

After running pkg check I only had to reinstall a few programs.


    Cheers ...                                 __o
                                             _ \<,_
    Marek                                   (+)/ (+)
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~