# -*- 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 135309 2015-04-22 19:46:55Z larryv@macports.org $ 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}