# -*- 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$

PortSystem          1.0
PortGroup           muniversal 1.0

name                isl
conflicts           isl-devel

epoch               2
version             0.14.1

categories          devel math
platforms           darwin
license             MIT
maintainers         mcalhoun openmaintainer

description         Integer Set Library
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.
homepage            http://isl.gforge.inria.fr

depends_lib         port:gmp

master_sites        http://isl.gforge.inria.fr
use_bzip2           yes
checksums           rmd160  e4e45a8b777f89108303c165b149404ef84fd190 \
                    sha256  1f20561843eb9f6ae2076800bc45f3680ff7696520257cd5734ccfb843464cae

# Add a missing include to the isl_int headers. Upstream doesn't want to
# bother fixing deprecated APIs
# (https://groups.google.com/d/msg/isl-development/N6UWJDbKXNA/2CY6WHDvOYoJ),
# so this should be applied until they remove the headers outright.
patchfiles          fix-deprecated-headers.patch

# Don't link using "-flat_namespace -undefined suppress" on Yosemite and later.
patchfiles-append   yosemite-libtool.patch

configure.args      --disable-silent-rules

test.run            yes
test.target         check

livecheck.type      regex
livecheck.regex     ${name}-(\[0-9.\]+)${extract.suffix}