casa-mp-base

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

​

PortSystem          1.0

PortGroup           muniversal 1.0

​

name                isl

conflicts           isl-devel

​

# for library name change, be sure to revbump cross-compilers

# see https://lists.macports.org/pipermail/macports-dev/2019-May/040678.html

epoch               3

version             0.21

​

categories          devel math

platforms           darwin

license             MIT

maintainers         {mcalhoun @MarcusCalhoun-Lopez} 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  181ded304f27fc556e41a0cac13d240672d6fe9b \

                    sha256  d18ca11f8ad1a39ab6d03d3dcb3365ab416720fcb65b42d69f34f51bf0a0e859 \

                    size    1820796

​

configure.args      --disable-silent-rules

​

test.run            yes

test.target         check

​

livecheck.type      regex

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

​

if {${subport} eq ${name}} {

    # be more strict about detecting C++11 for older compilers

    patchfiles-append   patch-configure_c++11.diff

}

​

subport isl14 {

    epoch           0

    version         0.14.1

​

    conflicts-delete isl-devel

​

    checksums       rmd160  e4e45a8b777f89108303c165b149404ef84fd190 \

                    sha256  1f20561843eb9f6ae2076800bc45f3680ff7696520257cd5734ccfb843464cae \