From owner-freebsd-ports-bugs@FreeBSD.ORG  Sat Mar  1 06:40: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
 [IPv6:2001:1900:2254:206a::19:1])
 (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by hub.freebsd.org (Postfix) with ESMTPS id 845C87BB
 for <freebsd-ports-bugs@smarthost.ysv.freebsd.org>;
 Sat,  1 Mar 2014 06:40: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 70BB51D13
 for <freebsd-ports-bugs@smarthost.ysv.freebsd.org>;
 Sat,  1 Mar 2014 06:40: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 s216e1ax073830
 for <freebsd-ports-bugs@freefall.freebsd.org>; Sat, 1 Mar 2014 06:40:01 GMT
 (envelope-from gnats@freefall.freebsd.org)
Received: (from gnats@localhost)
 by freefall.freebsd.org (8.14.8/8.14.8/Submit) id s216e1UO073829;
 Sat, 1 Mar 2014 06:40:01 GMT (envelope-from gnats)
Date: Sat, 1 Mar 2014 06:40:01 GMT
Message-Id: <201403010640.s216e1UO073829@freefall.freebsd.org>
To: freebsd-ports-bugs@FreeBSD.org
Cc: 
From: Luca Bayer <kometto@web.de>
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: Luca Bayer <kometto@web.de>
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 06:40:01 -0000

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

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

 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.