From owner-freebsd-hackers@FreeBSD.ORG  Tue Feb  6 23:23:41 2007
Return-Path: <owner-freebsd-hackers@FreeBSD.ORG>
X-Original-To: freebsd-hackers@freebsd.org
Delivered-To: freebsd-hackers@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52])
	by hub.freebsd.org (Postfix) with ESMTP id B073016A400
	for <freebsd-hackers@freebsd.org>; Tue,  6 Feb 2007 23:23:37 +0000 (UTC)
	(envelope-from henry.lenzi@gmail.com)
Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.169])
	by mx1.freebsd.org (Postfix) with ESMTP id 4FA1313C47E
	for <freebsd-hackers@freebsd.org>; Tue,  6 Feb 2007 23:23:37 +0000 (UTC)
	(envelope-from henry.lenzi@gmail.com)
Received: by ug-out-1314.google.com with SMTP id o2so30721uge
	for <freebsd-hackers@freebsd.org>; Tue, 06 Feb 2007 15:23:36 -0800 (PST)
DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta;
	h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition;
	b=FICl7VMFzEWVTYCpO1Z7Gex3HqKtdeMEn4XJV3cyumA2LTH4CCFyVdMIYXfIrIsAmmfaPTeqvoYONFg9DFBT2+mcvkkiiyMEDKLW3ahuSCrpUGkMcQ0WCMbHSv0gFbheKXl4YPeHytS8mUgxLDXwTFRlfVBF6aG0bFyG0bv1tdw=
Received: by 10.78.192.20 with SMTP id p20mr2005575huf.1170803678896;
	Tue, 06 Feb 2007 15:14:38 -0800 (PST)
Received: by 10.78.176.6 with HTTP; Tue, 6 Feb 2007 15:14:38 -0800 (PST)
Message-ID: <8b4c81f0702061514r5a753e48yea0ce9b937236fc3@mail.gmail.com>
Date: Tue, 6 Feb 2007 21:14:38 -0200
From: "Henry Lenzi" <henry.lenzi@gmail.com>
To: freebsd-hackers@freebsd.org
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
Subject: pkg_add does not backtrack, does it?
X-BeenThere: freebsd-hackers@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Technical Discussions relating to FreeBSD
	<freebsd-hackers.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-hackers>, 
	<mailto:freebsd-hackers-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-hackers>
List-Post: <mailto:freebsd-hackers@freebsd.org>
List-Help: <mailto:freebsd-hackers-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-hackers>,
	<mailto:freebsd-hackers-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Tue, 06 Feb 2007 23:23:41 -0000

Hi * --

 I haven't found the pkg_add code (it's in Ruby, is it?). But from the
behaviour of pkg_add -r, it's safe to say that it doesn't backtrack to
resolve dependencies, does it?

 Like, for instance (a real example), during gnome2 installation on 6.2:

warning: 'gstreamer-plugins-gconf-0.10.4_3,2' requires
'gstreamer-plugins-0.10.10,2', but 'gstreamer-plugins-0.10.9,1' is
installed

 pkg_add goes right ahead. It does not com back to deinstalling
'gstreamer-plugins-0.10.9,1' and all its dependencies and _then_ goes
back to that point.

 Isn't this a classic AI backtracking problem? (ok, complete noob opinion here).

 TIA,

 Henry