From owner-freebsd-ports@FreeBSD.ORG Wed Dec 17 16:54:54 2014 Return-Path: Delivered-To: freebsd-ports@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 9EC71515; Wed, 17 Dec 2014 16:54:54 +0000 (UTC) Received: from mail.madpilot.net (grunt.madpilot.net [78.47.145.38]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 548A0180C; Wed, 17 Dec 2014 16:54:52 +0000 (UTC) Received: from mail (mail [192.168.254.3]) by mail.madpilot.net (Postfix) with ESMTP id 3k2j9k3lT6zZrR; Wed, 17 Dec 2014 17:54:34 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=madpilot.net; h= content-transfer-encoding:content-type:content-type:in-reply-to :references:subject:subject:mime-version:user-agent:from:from :date:date:message-id:received:received; s=mail; t=1418835272; x=1420649673; bh=1rFHoiM/EIyBAJ/v/kR52YlV+W+LpyT/YLKWp06DWzM=; b= EdtIDeqYFgrp/mAiqMU1lXkXKKFdxRKLNcVE1X2jNSS8MEjlsFMgR7/6kSnQzOqO OCijK9lBXtc5NIwkJVP9dzS8LMfeYQV0Wg3EnQTJVI5SiUxM/G5nyIFMGSjTqT4v EF8RjKkh7LgEUOmlQpTFraS9aK/hWBm5RcvJNuH2QNQ= Received: from mail.madpilot.net ([192.168.254.3]) by mail (mail.madpilot.net [192.168.254.3]) (amavisd-new, port 10024) with ESMTP id g7w_ZIdSB8fj; Wed, 17 Dec 2014 17:54:32 +0100 (CET) Received: from marvin.madpilot.net (micro.madpilot.net [88.149.173.206]) by mail.madpilot.net (Postfix) with ESMTPSA; Wed, 17 Dec 2014 17:54:32 +0100 (CET) Message-ID: <5491B548.8060306@madpilot.net> Date: Wed, 17 Dec 2014 17:54:32 +0100 From: Guido Falsi User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:31.0) Gecko/20100101 Thunderbird/31.3.0 MIME-Version: 1.0 To: Craig Rodrigues , ports , freebsd-pkg@freebsd.org Subject: Re: pkg 1.4.0 pkg: Cannot solve problem using SAT solver: spandsp-devel References: In-Reply-To: Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit X-BeenThere: freebsd-ports@freebsd.org X-Mailman-Version: 2.1.18-1 Precedence: list List-Id: Porting software to FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 17 Dec 2014 16:54:54 -0000 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. Not sure but maybe also "pkg set -o comms/spandsp-devel:comms/spandsp" could work. -- Guido Falsi