From owner-freebsd-ports-bugs@FreeBSD.ORG  Tue Feb 10 01:30:20 2004
Return-Path: <owner-freebsd-ports-bugs@FreeBSD.ORG>
Delivered-To: freebsd-ports-bugs@hub.freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 009AB16A4CE
	for <freebsd-ports-bugs@hub.freebsd.org>;
	Tue, 10 Feb 2004 01:30:20 -0800 (PST)
Received: from freefall.freebsd.org (freefall.freebsd.org [216.136.204.21])
	by mx1.FreeBSD.org (Postfix) with ESMTP id EEE5D43D1D
	for <freebsd-ports-bugs@hub.freebsd.org>;
	Tue, 10 Feb 2004 01:30:19 -0800 (PST)
	(envelope-from gnats@FreeBSD.org)
Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1])
	i1A9UJbv014413	for <freebsd-ports-bugs@freefall.freebsd.org>;
	Tue, 10 Feb 2004 01:30:19 -0800 (PST)
	(envelope-from gnats@freefall.freebsd.org)
Received: (from gnats@localhost)
	by freefall.freebsd.org (8.12.10/8.12.10/Submit) id i1A9UJAT014412;
	Tue, 10 Feb 2004 01:30:19 -0800 (PST)
	(envelope-from gnats)
Date: Tue, 10 Feb 2004 01:30:19 -0800 (PST)
Message-Id: <200402100930.i1A9UJAT014412@freefall.freebsd.org>
To: freebsd-ports-bugs@FreeBSD.org
From: Volker Stolz <stolz@i2.informatik.rwth-aachen.de>
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
Reply-To: Volker Stolz <stolz@i2.informatik.rwth-aachen.de>
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:30:21 -0000

The following reply was made to PR ports/62624; it has been noted by GNATS.

From: Volker Stolz <stolz@i2.informatik.rwth-aachen.de>
To: FreeBSD-gnats-submit@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org
Cc: c.rued@xsb.com
Subject: Re: ports/62624: [patch] lang/xsb: fix build (bento)
Date: Tue, 10 Feb 2004 10:25:08 +0100

 > 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