From owner-freebsd-pkg@FreeBSD.ORG Thu Dec 18 06:06:50 2014 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 C30EE74E; Thu, 18 Dec 2014 06:06:50 +0000 (UTC) Received: from mail-lb0-x233.google.com (mail-lb0-x233.google.com [IPv6:2a00:1450:4010:c04::233]) (using TLSv1 with cipher ECDHE-RSA-RC4-SHA (128/128 bits)) (Client CN "smtp.gmail.com", Issuer "Google Internet Authority G2" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4376A1585; Thu, 18 Dec 2014 06:06:50 +0000 (UTC) Received: by mail-lb0-f179.google.com with SMTP id z11so409370lbi.10; Wed, 17 Dec 2014 22:06:48 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date:message-id:subject :from:to:cc:content-type; bh=Suez1uOCcGTJDRKcwKMn4hxRdiQojzbb9NCst1QX0cI=; b=wWrg2ZWZnBpneHqEOt18wIIREe1Ry+y+FjoexuqziZ1LU6r7wDCFEeOc4+7X0xH3CW 8zSKmsd+xtJ8ui09HQBq42dqngUf1yRmaweLF8mTGW/n+UlUT2CB+rM/k6XPwxH7yR1j 8aCGhFG+HOQY7hkzG5Okg5KJGUS7BWGRRMwD4dltJxXiTAdY5rd4BMIOVU4xW0afEs7G 2TK7I0P71woIGVS3HUSk4u7P9Kn6EmcF1nkv2p3iAYVtiLqbZqzI+vcc67Snrk+ejyT5 gWNqBwc0nSRIugO6t/I3MSdSq9+cnWzy9Q+o/JeS41WC5gLNLrvD5FwdGesKyptxrJKF yaLA== MIME-Version: 1.0 X-Received: by 10.112.63.99 with SMTP id f3mr346904lbs.47.1418882808237; Wed, 17 Dec 2014 22:06:48 -0800 (PST) Sender: crodr001@gmail.com Received: by 10.112.130.168 with HTTP; Wed, 17 Dec 2014 22:06:48 -0800 (PST) In-Reply-To: <5491B548.8060306@madpilot.net> References: <5491B548.8060306@madpilot.net> Date: Wed, 17 Dec 2014 22:06:48 -0800 X-Google-Sender-Auth: zki0oHRI5BJaK3IEzdUZGrwVkZE Message-ID: Subject: Re: pkg 1.4.0 pkg: Cannot solve problem using SAT solver: spandsp-devel From: Craig Rodrigues To: Guido Falsi Content-Type: text/plain; charset=ISO-8859-1 X-Content-Filtered-By: Mailman/MimeDel 2.1.18-1 Cc: freebsd-pkg@freebsd.org, ports X-BeenThere: freebsd-pkg@freebsd.org X-Mailman-Version: 2.1.18-1 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, 18 Dec 2014 06:06:50 -0000 On Wed, Dec 17, 2014 at 8:54 AM, Guido Falsi wrote: > > On 12/17/14 17:34, Craig Rodrigues wrote: > > Hi, > > > > I did a "pkg update -f ; pkg upgrade -y" on a FreeBSD 10-stable > > system and ran into this error: > > > > Checking integrity... done (3 conflicting) > > pkg: Cannot solve problem using SAT solver: > > pkg: cannot find spandsp-devel in the request > > pkg: cannot solve job using SAT solver > > Checking integrity... done (0 conflicting) > > Conflicts with the existing packages have been found. > > One more solver iteration is needed to resolve them. > > > > As an end-user installing packages, this error message makes no > > sense at all to me, and doesn't tell me what I need to do > > to fix the problem. Can this (and other SAT solver) error messages > > be enhanced to include some hints as to what a user must do > > to solve the problem? > > > > What seemed to get me past this problem was to: > > > > pkg delete -f spandsp-devel > > pkg upgrade -y > > > > that's what UPDATING entry 20141215 suggests. It is always better to > look at it. > > > Thanks for the UPDATING pointer. You are correct. However, I would still like to see an error message from pkg which gives the user a better idea of what to do to solve the problem. For people who install/upgrade binary packages, they don't always read ports/UPDATING. I know I don't. -- Craig