isl is a library for manipulating sets and relations of integer points bounded by linear constraints. Supported operations on sets include intersection, union, set difference, emptiness check, convex hull, (integer) affine hull, integer projection, computing the lexicographic minimum using parametric integer programming, coalescing and parametric vertex enumeration. It also includes an ILP solver based on generalized basis reduction, transitive closures on maps (which may encode infinite graphs), dependence analysis and bounds on piecewise step-polynomials. WWW: http://isl.gforge.inria.fr/ Generated with FreeBSD Port Tools 1.00.2014.02.18 (mode: new)
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.
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,
Hello, no objections. Good work! Thanks! Danilo.
State Changed From-To: open->closed Committed. Thanks!
Author: miwi Date: Sun May 25 07:31:23 2014 New Revision: 355132 URL: http://svnweb.freebsd.org/changeset/ports/355132 QAT: https://qat.redports.org/buildarchive/r355132/ Log: isl is a library for manipulating sets and relations of integer points bounded by linear constraints. Supported operations on sets include intersection, union, set difference, emptiness check, convex hull, (integer) affine hull, integer projection, computing the lexicographic minimum using parametric integer programming, coalescing and parametric vertex enumeration. It also includes an ILP solver based on generalized basis reduction, transitive closures on maps (which may encode infinite graphs), dependence analysis and bounds on piecewise step-polynomials. WWW: http://isl.gforge.inria.fr/ PR: ports/187143 Submitted by: Gea-Suan Lin <gslin@gslin.org> Added: head/devel/isl/ head/devel/isl/Makefile (contents, props changed) head/devel/isl/distinfo (contents, props changed) head/devel/isl/pkg-descr (contents, props changed) head/devel/isl/pkg-plist (contents, props changed) Modified: head/devel/Makefile Modified: head/devel/Makefile ============================================================================== --- head/devel/Makefile Sun May 25 06:46:13 2014 (r355131) +++ head/devel/Makefile Sun May 25 07:31:23 2014 (r355132) @@ -864,6 +864,7 @@ SUBDIR += ioncube SUBDIR += ipython SUBDIR += ireport + SUBDIR += isl SUBDIR += itext SUBDIR += jakarta-commons-configuration SUBDIR += jakarta-commons-daemon Added: head/devel/isl/Makefile ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/isl/Makefile Sun May 25 07:31:23 2014 (r355132) @@ -0,0 +1,24 @@ +# Created by: Gea-Suan Lin <gslin@gslin.org> +# $FreeBSD$ + +PORTNAME= isl +PORTVERSION= 0.12 +CATEGORIES= devel +MASTER_SITES= http://isl.gforge.inria.fr/ + +MAINTAINER= gslin@gslin.org +COMMENT= Integer Set Library + +LICENSE= MIT + +LIB_DEPENDS= libgmp.so:${PORTSDIR}/math/gmp + +CONFIGURE_ARGS+= --with-gmp-prefix=${LOCALBASE} +GNU_CONFIGURE= yes +USE_BZIP2= yes +USE_LDCONFIG= yes + +post-patch: + ${REINPLACE_CMD} -e 's@pkgconfig_libdir=.*@pkgconfig_libdir=$${prefix}/libdata/pkgconfig@' ${WRKSRC}/configure + +.include <bsd.port.mk> Added: head/devel/isl/distinfo ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/isl/distinfo Sun May 25 07:31:23 2014 (r355132) @@ -0,0 +1,2 @@ +SHA256 (isl-0.12.tar.bz2) = 11079ec95f9375d4e069735029e031d310baca8e15f18ef94d17676a6ca02410 +SIZE (isl-0.12.tar.bz2) = 1294448 Added: head/devel/isl/pkg-descr ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/isl/pkg-descr Sun May 25 07:31:23 2014 (r355132) @@ -0,0 +1,10 @@ +isl is a library for manipulating sets and relations of integer points +bounded by linear constraints. Supported operations on sets include +intersection, union, set difference, emptiness check, convex hull, +(integer) affine hull, integer projection, computing the lexicographic +minimum using parametric integer programming, coalescing and parametric +vertex enumeration. It also includes an ILP solver based on generalized +basis reduction, transitive closures on maps (which may encode infinite +graphs), dependence analysis and bounds on piecewise step-polynomials. + +WWW: http://isl.gforge.inria.fr/ Added: head/devel/isl/pkg-plist ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/isl/pkg-plist Sun May 25 07:31:23 2014 (r355132) @@ -0,0 +1,54 @@ +@comment $FreeBSD$ +include/isl/aff.h +include/isl/aff_type.h +include/isl/arg.h +include/isl/ast.h +include/isl/ast_build.h +include/isl/band.h +include/isl/blk.h +include/isl/config.h +include/isl/constraint.h +include/isl/ctx.h +include/isl/dim.h +include/isl/flow.h +include/isl/hash.h +include/isl/id.h +include/isl/ilp.h +include/isl/int.h +include/isl/list.h +include/isl/local_space.h +include/isl/lp.h +include/isl/map.h +include/isl/map_type.h +include/isl/mat.h +include/isl/multi.h +include/isl/obj.h +include/isl/options.h +include/isl/point.h +include/isl/polynomial.h +include/isl/polynomial_type.h +include/isl/printer.h +include/isl/schedule.h +include/isl/seq.h +include/isl/set.h +include/isl/set_type.h +include/isl/space.h +include/isl/stdint.h +include/isl/stream.h +include/isl/union_map.h +include/isl/union_map_type.h +include/isl/union_set.h +include/isl/union_set_type.h +include/isl/val.h +include/isl/val_gmp.h +include/isl/val_int.h +include/isl/vec.h +include/isl/version.h +include/isl/vertices.h +lib/libisl.a +lib/libisl.la +lib/libisl.so +lib/libisl.so.12 +lib/libisl.so.12-gdb.py +libdata/pkgconfig/isl.pc +@dirrmtry include/isl _______________________________________________ svn-ports-all@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/svn-ports-all To unsubscribe, send any mail to "svn-ports-all-unsubscribe@freebsd.org"