From owner-freebsd-ports-bugs@FreeBSD.ORG  Sat Mar  1 21:20:01 2014
Return-Path: <owner-freebsd-ports-bugs@FreeBSD.ORG>
Delivered-To: freebsd-ports-bugs@smarthost.ysv.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115])
 (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by hub.freebsd.org (Postfix) with ESMTPS id CCD4CE3D
 for <freebsd-ports-bugs@smarthost.ysv.freebsd.org>;
 Sat,  1 Mar 2014 21:20:01 +0000 (UTC)
Received: from freefall.freebsd.org (freefall.freebsd.org
 [IPv6:2001:1900:2254:206c::16:87])
 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
 (No client certificate requested)
 by mx1.freebsd.org (Postfix) with ESMTPS id B73051FF7
 for <freebsd-ports-bugs@smarthost.ysv.freebsd.org>;
 Sat,  1 Mar 2014 21:20:01 +0000 (UTC)
Received: from freefall.freebsd.org (localhost [127.0.0.1])
 by freefall.freebsd.org (8.14.7/8.14.7) with ESMTP id s21LK1wn053017
 for <freebsd-ports-bugs@freefall.freebsd.org>; Sat, 1 Mar 2014 21:20:01 GMT
 (envelope-from gnats@freefall.freebsd.org)
Received: (from gnats@localhost)
 by freefall.freebsd.org (8.14.8/8.14.8/Submit) id s21LK1v3053016;
 Sat, 1 Mar 2014 21:20:01 GMT (envelope-from gnats)
Date: Sat, 1 Mar 2014 21:20:01 GMT
Message-Id: <201403012120.s21LK1v3053016@freefall.freebsd.org>
To: freebsd-ports-bugs@FreeBSD.org
Cc: 
From: Gea-Suan Lin <gslin@gslin.org>
Subject: Re: ports/187143: [NEW PORT] devel/isl: Integer Set Library
X-BeenThere: freebsd-ports-bugs@freebsd.org
X-Mailman-Version: 2.1.17
Precedence: list
Reply-To: Gea-Suan Lin <gslin@gslin.org>
List-Id: Ports bug reports <freebsd-ports-bugs.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/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: Sat, 01 Mar 2014 21:20:01 -0000

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

From: Gea-Suan Lin <gslin@gslin.org>
To: Luca Bayer <kometto@web.de>
Cc: bug-followup@freebsd.org, Danilo Egea Gondolfo <danilo@FreeBSD.org>,
	gslin@gslin.org
Subject: Re: ports/187143: [NEW PORT] devel/isl: Integer Set Library
Date: Sat, 1 Mar 2014 21:12:25 +0000

 Hello Luca,
 
 I've updated isl's category to math, and changed gloog to depend on it.
 
 https://redports.org/browser/gslin/math/isl/
 https://redports.org/buildarchive/20140301193401-10350/
 
 https://redports.org/browser/gslin/math/cloog/
 https://redports.org/buildarchive/20140301194800-40060/
 
 Thanks,
 
 On Sat, Mar 01, 2014 at 07:29:59AM +0100, Luca Bayer wrote:
 > Gea-Suan Lin <gslin@gslin.org> writes:
 > 
 > > Xinclude/isl/version.h
 > > Xinclude/isl/vertices.h
 > > Xlib/libisl.a
 > > Xlib/libisl.la
 > > Xlib/libisl.so
 > > Xlib/libisl.so.12
 > 
 > Can you file a PR to make math/cloog to depend on this port? Both ports
 > try to install the same files and it'd fail on systems with pkg(8).
 > 
 > #v+
 > $ make install
 > ===>  Installing for isl-0.12
 > ===>   isl-0.12 depends on shared library: libgmp.so - found
 > ===>  Checking if devel/isl already installed
 > ===>  Switching to root credentials for 'install' target
 > ===>   Registering installation for isl-0.12
 > Installing isl-0.12...pkg-static: isl-0.12 conflicts with cloog-0.18.1_1 (installs files into the same place).  Problematic file: /usr/local/include/isl/aff.h
 > *** Error code 70
 > #v-
 > 
 > Also, devel/ is kinda generic category for libraries that don't belong
 > anywhere else. math/ may be better as the port's pkg-descr contains a
 > number of terms from mathematics, and PkgSrc already has math/isl.