From owner-freebsd-pkg@FreeBSD.ORG Thu May 14 15:10:01 2015 Return-Path: Delivered-To: freebsd-pkg@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id 76770C16; Thu, 14 May 2015 15:10:01 +0000 (UTC) Received: from smtp1.bway.net (smtp1.bway.net [216.220.96.27]) (using TLSv1 with cipher DHE-RSA-CAMELLIA256-SHA (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 5043616ED; Thu, 14 May 2015 15:10:00 +0000 (UTC) Received: from gecko4 (host-216-220-115-31.dsl.bway.net [216.220.115.31]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (No client certificate requested) (Authenticated sender: m1316v@bway.net) by smtp1.bway.net (Postfix) with ESMTPSA id 3A31995870; Thu, 14 May 2015 11:09:59 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=bway.net; s=mail; t=1431616199; bh=6b27bi/iT6GLCqlOeVwL9u1SLBT2Nlc4GQZITRv3bbM=; h=Date:From:To:Cc:Subject:In-Reply-To:References:Reply-To; b=BFgFS2EJ9nsrqRdY7q5Ql/DzkyUdWpT7yLmtifvQU9L1h9MQVBGMxEUgDmh5p5SFn Q+YuxJQuTK2RIzLD+ZJ17+yUaKX07lVvXqI+w5sqEjm9ajitIdCSkdgKHXdgxwiquX eEN6+kxC6XgsgxNonZY8wELvAtl89SLGzwjax7p0= Date: Thu, 14 May 2015 11:09:58 -0400 From: mfv To: Matthew Seaman Cc: freebsd-pkg@freebsd.org Subject: Re: Anyone experiencing SAT Solver troubles Message-ID: <20150514110958.150b7205@gecko4> In-Reply-To: <5554B24C.7000801@freebsd.org> References: <5554B24C.7000801@freebsd.org> Reply-To: mfv@bway.net MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-BeenThere: freebsd-pkg@freebsd.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: Binary package management and package tools discussion List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 14 May 2015 15:10:01 -0000 On Thu, 14 May 2015 15:33:48 +0100 Matthew Seaman 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 (+)/ (+) ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~