Skip site navigation (1)Skip section navigation (2)
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: <http://docs.FreeBSD.org/cgi/mid.cgi?0000014478dfc1ae-2d0b76b4-02c6-4458-92a4-4f36389773c5-000000>