ports/187143: commit references a PR
dfilter service
dfilter at FreeBSD.ORG
Sun May 25 07:40:05 UTC 2014
The following reply was made to PR ports/187143; it has been noted by GNATS.
From: dfilter at FreeBSD.ORG (dfilter service)
To: bug-followup at 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 at 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 at gslin.org>
+# $FreeBSD$
+
+PORTNAME= isl
+PORTVERSION= 0.12
+CATEGORIES= devel
+MASTER_SITES= http://isl.gforge.inria.fr/
+
+MAINTAINER= gslin at 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 at 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 @@
+ at 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
+ at dirrmtry include/isl
_______________________________________________
svn-ports-all at freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/svn-ports-all
To unsubscribe, send any mail to "svn-ports-all-unsubscribe at freebsd.org"
More information about the freebsd-ports-bugs
mailing list