Date: Sun, 25 May 2014 07:31:23 +0000 (UTC) From: Martin Wilke <miwi@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r355132 - in head/devel: . isl Message-ID: <201405250731.s4P7VNf4091753@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201405250731.s4P7VNf4091753>