From owner-freebsd-ports-bugs@FreeBSD.ORG  Tue Feb 10 01:25:14 2004
Return-Path: <owner-freebsd-ports-bugs@FreeBSD.ORG>
Delivered-To: freebsd-ports-bugs@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP
	id B4B2C16A4CF; Tue, 10 Feb 2004 01:25:14 -0800 (PST)
Received: from atlas.informatik.rwth-aachen.de
	(atlas.Informatik.RWTH-Aachen.DE [137.226.194.2])
	by mx1.FreeBSD.org (Postfix) with ESMTP
	id CDB0543D1D; Tue, 10 Feb 2004 01:25:13 -0800 (PST)
	(envelope-from stolz@i2.informatik.rwth-aachen.de)
Received: from menelaos.informatik.rwth-aachen.de
	(menelaos.Informatik.RWTH-Aachen.DE [137.226.194.73])
	8.11.1-0.5-michaelw-20030918) with ESMTP id i1A9P8m10631;
	Tue, 10 Feb 2004 10:25:08 +0100
Received: (from stolz@localhost)i1A9P8ZB003565;
	Tue, 10 Feb 2004 10:25:08 +0100 (CET)	(envelope-from stolz)
Date: Tue, 10 Feb 2004 10:25:08 +0100
From: Volker Stolz <stolz@i2.informatik.rwth-aachen.de>
To: FreeBSD-gnats-submit@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org
Message-ID: <20040210092508.GE91104@i2.informatik.rwth-aachen.de>
References: <200402100902.i1A92g5L091325@menelaos.informatik.rwth-aachen.de>
	<200402100910.i1A9AHZ2012875@freefall.freebsd.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <200402100910.i1A9AHZ2012875@freefall.freebsd.org>
X-PGP-Key: finger vs@foldr.org
X-PGP-Id: 0x3FD1B6B5
User-Agent: Mutt/1.5.4i
cc: c.rued@xsb.com
Subject: Re: ports/62624: [patch] lang/xsb: fix build (bento)
X-BeenThere: freebsd-ports-bugs@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
List-Id: Ports bug reports <freebsd-ports-bugs.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-ports-bugs>,
	<mailto:freebsd-ports-bugs-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-ports-bugs>
List-Post: <mailto:freebsd-ports-bugs@freebsd.org>
List-Help: <mailto:freebsd-ports-bugs-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-ports-bugs>,
	<mailto:freebsd-ports-bugs-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Tue, 10 Feb 2004 09:25:14 -0000

> http://www.freebsd.org/cgi/query-pr.cgi?pr=62624
> 
> >Synopsis:       [patch] lang/xsb: fix build (bento)

Please use the following instead:

BUILD_DEPENDS= makedepend:${PORTSDIR}/devel/imake

Christopher, it also looks like XSB doesn't really need the GNU make
dependency unless I'm missing something.

Sorry for the confusion,
  Volker

[We're finished teaching logic programming here now, anyway ;)]
-- 
http://www-i2.informatik.rwth-aachen.de/stolz/ *** PGP *** S/MIME
rage against the finite state machine