Commit 1a4c9a22 authored by miwi's avatar miwi
Browse files

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>
parent 7a88f77f
......@@ -864,6 +864,7 @@
SUBDIR += ioncube
SUBDIR += ipython
SUBDIR += ireport
SUBDIR += isl
SUBDIR += itext
SUBDIR += jakarta-commons-configuration
SUBDIR += jakarta-commons-daemon
......
# 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>
SHA256 (isl-0.12.tar.bz2) = 11079ec95f9375d4e069735029e031d310baca8e15f18ef94d17676a6ca02410
SIZE (isl-0.12.tar.bz2) = 1294448
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/
@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
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment