source: trunk/dports/devel/isl-devel/Portfile

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

isl-devel: Update to current ToT

Also:

  • Append Git hash to version.
  • Use default autoreconf.args, since upstream's autogen.sh just runs autoreconf -i.
  • 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 136293 2015-05-14 06:46:52Z ryandesign@macports.org $
3
4PortSystem          1.0
5PortGroup           muniversal 1.0
6
7name                isl-devel
8conflicts           isl
9
10set gitSHA1 9f767f1766a016f04184fccb41c00a4f355df00d
11version             0.15-20150513-[string range $gitSHA1 0 6]
12
13categories          devel math
14platforms           darwin
15license             MIT
16maintainers         larryv
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://repo.or.cz/w/isl.git/snapshot
36checksums           rmd160  bf42466b3e9d1712665df1cf0771973373222cce \
37                    sha256  29a78085a269bf40bf229380d485ab903017669356491ff44016bd1c912055a3
38
39distname            $gitSHA1
40worksrcdir          isl-[string range $gitSHA1 0 6]
41
42# Add a missing include to the isl_int headers. Upstream doesn't want to
43# bother fixing deprecated APIs
44# (https://groups.google.com/d/msg/isl-development/N6UWJDbKXNA/2CY6WHDvOYoJ),
45# so this should be applied until they remove the headers outright.
46patchfiles          fix-deprecated-headers.patch
47
48use_autoreconf      yes
49
50configure.args      --disable-silent-rules
51
52test.run            yes
53test.target         check
54
55livecheck.type      moddate
56livecheck.url       http://repo.or.cz/w/isl.git/commit/HEAD
Note: See TracBrowser for help on using the repository browser.