From owner-freebsd-ports-bugs@FreeBSD.ORG Fri Feb 28 14:30:01 2014 Return-Path: Delivered-To: freebsd-ports-bugs@smarthost.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id 20AD7D9D for ; Fri, 28 Feb 2014 14:30:01 +0000 (UTC) Received: from freefall.freebsd.org (freefall.freebsd.org [IPv6:2001:1900:2254:206c::16:87]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mx1.freebsd.org (Postfix) with ESMTPS id 00A8A11D0 for ; Fri, 28 Feb 2014 14:30:01 +0000 (UTC) Received: from freefall.freebsd.org (localhost [127.0.0.1]) by freefall.freebsd.org (8.14.7/8.14.7) with ESMTP id s1SEU0Zs065998 for ; Fri, 28 Feb 2014 14:30:00 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.14.8/8.14.8/Submit) id s1SEU0hX065982; Fri, 28 Feb 2014 14:30:00 GMT (envelope-from gnats) Resent-Date: Fri, 28 Feb 2014 14:30:00 GMT Resent-Message-Id: <201402281430.s1SEU0hX065982@freefall.freebsd.org> Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer) Resent-To: freebsd-ports-bugs@FreeBSD.org Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org, Gea-Suan Lin Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id B41F1D81 for ; Fri, 28 Feb 2014 14:27:52 +0000 (UTC) Received: from a8-41.smtp-out.amazonses.com (a8-41.smtp-out.amazonses.com [54.240.8.41]) by mx1.freebsd.org (Postfix) with ESMTP id 7CF8B11BF for ; Fri, 28 Feb 2014 14:27:52 +0000 (UTC) Message-Id: <0000014478dfc1ae-2d0b76b4-02c6-4458-92a4-4f36389773c5-000000@email.amazonses.com> Date: Fri, 28 Feb 2014 14:22:14 +0000 From: Gea-Suan Lin To: FreeBSD-gnats-submit@freebsd.org X-Send-Pr-Version: 3.113 Subject: ports/187143: [NEW PORT] devel/isl: Integer Set Library Cc: gslin@gslin.org X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.17 Precedence: list List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 28 Feb 2014 14:30:01 -0000 >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 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 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: