svn commit: r355132 - in head/devel: . isl

[Martin Wilke]

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