# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
# $Id: Portfile 119941 2014-05-11 13:43:21Z mcalhoun@macports.org $

PortSystem          1.0
PortGroup           muniversal 1.0

name                isl-devel
conflicts           isl

version             0.13
set git_commit      ac510e17f63ed6647157f46a3c2830626efd146d

categories          devel math

maintainers         nomaintainer
platforms           darwin

description         isl is a library for manipulating sets and relations of integer points bounded by linear constraints.

long_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.

license             MIT
homepage            http://repo.or.cz/w/isl.git
master_sites        http://repo.or.cz/w/isl.git/snapshot

distname            ${git_commit}
worksrcdir          isl

# See http://groups.google.com/group/isl-development/t/37ad876557e50f2c
patchfiles          patch-ax_create_pkgconfig_info.m4.diff

use_autoreconf      yes
autoreconf.args     -fvi

checksums           rmd160  6a31066420e548678b469cb278a0eccaee84625b \
                    sha256  7c667f08af0fc2faa05ac9dbae139086de5bbed303532d13bd77eebfecf29ee3

depends_lib         port:gmp

test.run            yes
test.target         check

livecheck.type    md5
livecheck.url     ${master_sites}
livecheck.md5     f8a2a16c47aa7ad1f2917f6e1d83583b
