source: trunk/dports/devel/isl/Portfile

Last change on this file was 135309, checked in by larryv@…, 2 years ago

isl: Update to 0.14.1 (#47422)

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 2.2 KB
Line 
1# -*- 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
2# $Id: Portfile 135309 2015-04-22 19:46:55Z ryandesign@macports.org $
3
4PortSystem          1.0
5PortGroup           muniversal 1.0
6
7name                isl
8conflicts           isl-devel
9
10epoch               2
11version             0.14.1
12
13categories          devel math
14platforms           darwin
15license             MIT
16maintainers         mcalhoun openmaintainer
17
18description         Integer Set Library
19long_description    isl is a library for manipulating sets and \
20                    relations of integer points bounded by linear \
21                    constraints. Supported operations on sets include \
22                    intersection, union, set difference, emptiness \
23                    check, convex hull, (integer) affine hull, integer \
24                    projection, computing the lexicographic minimum \
25                    using parametric integer programming, coalescing \
26                    and parametric vertex enumeration. It also \
27                    includes an ILP solver based on generalized basis \
28                    reduction, transitive closures on maps (which may \
29                    encode infinite graphs), dependence analysis and \
30                    bounds on piecewise step-polynomials.
31homepage            http://isl.gforge.inria.fr
32
33depends_lib         port:gmp
34
35master_sites        http://isl.gforge.inria.fr
36use_bzip2           yes
37checksums           rmd160  e4e45a8b777f89108303c165b149404ef84fd190 \
38                    sha256  1f20561843eb9f6ae2076800bc45f3680ff7696520257cd5734ccfb843464cae
39
40# Add a missing include to the isl_int headers. Upstream doesn't want to
41# bother fixing deprecated APIs
42# (https://groups.google.com/d/msg/isl-development/N6UWJDbKXNA/2CY6WHDvOYoJ),
43# so this should be applied until they remove the headers outright.
44patchfiles          fix-deprecated-headers.patch
45
46# Don't link using "-flat_namespace -undefined suppress" on Yosemite and later.
47patchfiles-append   yosemite-libtool.patch
48
49configure.args      --disable-silent-rules
50
51test.run            yes
52test.target         check
53
54livecheck.type      regex
55livecheck.regex     ${name}-(\[0-9.\]+)${extract.suffix}
Note: See TracBrowser for help on using the repository browser.