Date: Fri, 28 Feb 2014 14:22:14 +0000 From: Gea-Suan Lin <gslin@gslin.org> To: FreeBSD-gnats-submit@freebsd.org Cc: gslin@gslin.org Subject: ports/187143: [NEW PORT] devel/isl: Integer Set Library Message-ID: <0000014478dfc1ae-2d0b76b4-02c6-4458-92a4-4f36389773c5-000000@email.amazonses.com> Resent-Message-ID: <201402281430.s1SEU0hX065982@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 187143 >Category: ports >Synopsis: [NEW PORT] devel/isl: Integer Set Library >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports-bugs >State: open >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Fri Feb 28 14:30:00 UTC 2014 >Closed-Date: >Last-Modified: >Originator: Gea-Suan Lin >Release: FreeBSD 10.0-RELEASE amd64 >Organization: >Environment: System: FreeBSD freebsd.gslin.org 10.0-RELEASE FreeBSD 10.0-RELEASE #0 r260789: Thu Jan 16 22:34:59 UTC >Description: 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/ Generated with FreeBSD Port Tools 1.00.2014.02.18 (mode: new) >How-To-Repeat: >Fix: --- .shar begins here --- # This is a shell archive. Save it in a file, remove anything before # this line, and then unpack it by entering "sh file". Note, it may # create directories; files and directories will be owned by you and # have default permissions. # # This archive contains: # # isl # isl/Makefile # isl/pkg-descr # isl/pkg-plist # isl/distinfo # echo c - isl mkdir -p isl > /dev/null 2>&1 echo x - isl/Makefile sed 's/^X//' >isl/Makefile << '89700d440516a4aa61154e6f872f30c1' X# Created by: Gea-Suan Lin <gslin@gslin.org> X# $FreeBSD$ X XPORTNAME= isl XPORTVERSION= 0.12 XCATEGORIES= devel XMASTER_SITES= http://isl.gforge.inria.fr/ X XMAINTAINER= gslin@gslin.org XCOMMENT= Integer Set Library X XLICENSE= MIT X XLIB_DEPENDS= libgmp.so:${PORTSDIR}/math/gmp X XCONFIGURE_ARGS+= --with-gmp-prefix=${LOCALBASE} XGNU_CONFIGURE= yes XUSE_BZIP2= yes XUSE_LDCONFIG= yes X Xpost-patch: X ${REINPLACE_CMD} -e 's@pkgconfig_libdir=.*@pkgconfig_libdir=$${prefix}/libdata/pkgconfig@' ${WRKSRC}/configure X X.include <bsd.port.mk> 89700d440516a4aa61154e6f872f30c1 echo x - isl/pkg-descr sed 's/^X//' >isl/pkg-descr << '17d6be3d889532465cbfc358c9a4c720' Xisl is a library for manipulating sets and relations of integer points Xbounded by linear constraints. Supported operations on sets include Xintersection, union, set difference, emptiness check, convex hull, X(integer) affine hull, integer projection, computing the lexicographic Xminimum using parametric integer programming, coalescing and parametric Xvertex enumeration. It also includes an ILP solver based on generalized Xbasis reduction, transitive closures on maps (which may encode infinite Xgraphs), dependence analysis and bounds on piecewise step-polynomials. X XWWW: http://isl.gforge.inria.fr/ 17d6be3d889532465cbfc358c9a4c720 echo x - isl/pkg-plist sed 's/^X//' >isl/pkg-plist << 'b7e183a264f2ef48e6994ea5cbb6160a' X@comment $FreeBSD$ Xinclude/isl/aff.h Xinclude/isl/aff_type.h Xinclude/isl/arg.h Xinclude/isl/ast.h Xinclude/isl/ast_build.h Xinclude/isl/band.h Xinclude/isl/blk.h Xinclude/isl/config.h Xinclude/isl/constraint.h Xinclude/isl/ctx.h Xinclude/isl/dim.h Xinclude/isl/flow.h Xinclude/isl/hash.h Xinclude/isl/id.h Xinclude/isl/ilp.h Xinclude/isl/int.h Xinclude/isl/list.h Xinclude/isl/local_space.h Xinclude/isl/lp.h Xinclude/isl/map.h Xinclude/isl/map_type.h Xinclude/isl/mat.h Xinclude/isl/multi.h Xinclude/isl/obj.h Xinclude/isl/options.h Xinclude/isl/point.h Xinclude/isl/polynomial.h Xinclude/isl/polynomial_type.h Xinclude/isl/printer.h Xinclude/isl/schedule.h Xinclude/isl/seq.h Xinclude/isl/set.h Xinclude/isl/set_type.h Xinclude/isl/space.h Xinclude/isl/stdint.h Xinclude/isl/stream.h Xinclude/isl/union_map.h Xinclude/isl/union_map_type.h Xinclude/isl/union_set.h Xinclude/isl/union_set_type.h Xinclude/isl/val.h Xinclude/isl/val_gmp.h Xinclude/isl/val_int.h Xinclude/isl/vec.h Xinclude/isl/version.h Xinclude/isl/vertices.h Xlib/libisl.a Xlib/libisl.la Xlib/libisl.so Xlib/libisl.so.12 Xlib/libisl.so.12-gdb.py Xlibdata/pkgconfig/isl.pc X@dirrmtry include/isl b7e183a264f2ef48e6994ea5cbb6160a echo x - isl/distinfo sed 's/^X//' >isl/distinfo << '30862b0f8d286a0c088238ec6b9378df' XSHA256 (isl-0.12.tar.bz2) = 11079ec95f9375d4e069735029e031d310baca8e15f18ef94d17676a6ca02410 XSIZE (isl-0.12.tar.bz2) = 1294448 30862b0f8d286a0c088238ec6b9378df exit --- .shar ends here --- >Release-Note: >Audit-Trail: >Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?0000014478dfc1ae-2d0b76b4-02c6-4458-92a4-4f36389773c5-000000>