From owner-freebsd-ports-bugs@FreeBSD.ORG Sun May 25 07:40:05 2014 Return-Path: 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 62562DA9 for ; Sun, 25 May 2014 07:40:05 +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)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 432402746 for ; Sun, 25 May 2014 07:40:05 +0000 (UTC) Received: from freefall.freebsd.org (localhost [127.0.0.1]) by freefall.freebsd.org (8.14.8/8.14.8) with ESMTP id s4P7e5WJ003254 for ; Sun, 25 May 2014 07:40:05 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.14.8/8.14.8/Submit) id s4P7e5bZ003253; Sun, 25 May 2014 07:40:05 GMT (envelope-from gnats) Date: Sun, 25 May 2014 07:40:05 GMT Message-Id: <201405250740.s4P7e5bZ003253@freefall.freebsd.org> To: freebsd-ports-bugs@FreeBSD.org Cc: From: dfilter@FreeBSD.ORG (dfilter service) Subject: Re: ports/187143: commit references a PR Reply-To: dfilter@FreeBSD.ORG (dfilter service) X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 25 May 2014 07:40:05 -0000 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 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 +# $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 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"