ports/187143: [NEW PORT] devel/isl: Integer Set Library

[Gea-Suan Lin]

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

From: Gea-Suan Lin <gslin at gslin.org>
To: Luca Bayer <kometto at web.de>
Cc: bug-followup at freebsd.org, Danilo Egea Gondolfo <danilo at FreeBSD.org>,
	gslin at 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 at 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.