Date: Sun, 25 May 2014 07:40:05 GMT From: dfilter@FreeBSD.ORG (dfilter service) To: freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/187143: commit references a PR Message-ID: <201405250740.s4P7e5bZ003253@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/187143; it has been noted by GNATS. From: dfilter@FreeBSD.ORG (dfilter service) To: bug-followup@FreeBSD.org Cc: Subject: Re: ports/187143: commit references a PR Date: Sun, 25 May 2014 07:31:28 +0000 (UTC) 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"
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201405250740.s4P7e5bZ003253>