From owner-svn-ports-head@FreeBSD.ORG Sun May 25 07:31:24 2014 Return-Path: Delivered-To: svn-ports-head@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 CFBD3740; Sun, 25 May 2014 07:31:24 +0000 (UTC) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id B03C926F1; Sun, 25 May 2014 07:31:24 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.8/8.14.8) with ESMTP id s4P7VO2l091758; Sun, 25 May 2014 07:31:24 GMT (envelope-from miwi@svn.freebsd.org) Received: (from miwi@localhost) by svn.freebsd.org (8.14.8/8.14.8/Submit) id s4P7VNf4091753; Sun, 25 May 2014 07:31:23 GMT (envelope-from miwi@svn.freebsd.org) Message-Id: <201405250731.s4P7VNf4091753@svn.freebsd.org> From: Martin Wilke Date: Sun, 25 May 2014 07:31:23 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r355132 - in head/devel: . isl X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-head@freebsd.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: SVN commit messages for the ports tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 25 May 2014 07:31:24 -0000 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 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 +# $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 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