source: trunk/dports/devel/ppl/Portfile

Last change on this file was 147594, checked in by khindenburg@…, 20 months ago

glpk: update to 4.60 maintainer #50674; rev-bump deps

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 3.1 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 147594 2016-04-09 13:44:38Z ryandesign@macports.org $
3
4PortSystem          1.0
5PortGroup           muniversal 1.0
6
7name                ppl
8version             1.1
9revision            3
10categories          devel math
11platforms           darwin
12license             GPL-3+
13maintainers         nomaintainer
14
15description         Parma Polyhedra Library
16long_description    The Parma Polyhedra Library (PPL) provides numerical \
17                    abstractions especially targeted at applications in \
18                    the field of analysis and verification of complex \
19                    systems. These abstractions include convex polyhedra, \
20                    some special classes of polyhedra shapes that offer \
21                    interesting complexity/precision tradeoffs, and grids \
22                    which represent regularly spaced points that satisfy \
23                    a set of linear congruence relations. The library \
24                    also supports finite powersets and products of \
25                    polyhedra and grids, a mixed integer linear \
26                    programming problem solver using an exact-arithmetic \
27                    version of the simplex algorithm, a parametric integer \
28                    programming solver, and primitives for termination \
29                    analysis via the automatic synthesis of linear ranking \
30                    functions.
31homepage            http://bugseng.com/products/ppl
32
33master_sites        http://bugseng.com/products/ppl/download/ftp/releases/${version} \
34                    ftp://ftp.cs.unipr.it/pub/ppl/releases/${version} \
35                    http://bugseng.com/products/ppl/download/ftp/snapshots
36use_xz              yes
37checksums           rmd160  2c7b72a527af9d852a150a80d094a168c4a58ae5 \
38                    sha256  c48ccd74664ec2cd3cdb5e37f287974ccb062f0384dc658d4053c424b19ad178
39
40depends_build       port:m4
41depends_skip_archcheck-append m4
42
43depends_lib         port:glpk port:gmp
44
45# Generate a newer libtool that passes -stdlib when linking dylibs.
46use_autoreconf          yes
47autoreconf.post_args    --force
48
49compiler.blacklist-append   gcc-3.3 gcc-4.0 apple-gcc-4.0
50compiler.fallback-append    apple-gcc-4.2
51
52# TODO: Enable other interfaces via subports.
53configure.args      --enable-interfaces='cxx c' \
54                    ac_cv_prog_AWK=/usr/bin/awk
55
56if {[regexp clang|llvm ${configure.compiler}]} {
57    # As of 'ppl-0.12.1', we need to be careful about use of the
58    # '--enable-fpmath' flag! Newer versions of 'clang' will error about
59    # '-frounding-math' being unsupported due to '-Werror'. Older
60    # versions of 'clang' will just warn about '-frounding-math' despite
61    # '-Werror'. And 'llvm-gcc' does not '-frounding-math' and silently
62    # ignores it.
63    configure.args-append   --enable-fpmath=no
64    configure.ccache        no
65    configure.distcc        no
66}
67
68test.run            yes
69test.target         check
70
71livecheck.type      regex
72livecheck.url       http://bugseng.com/products/ppl/download/ftp/releases
73livecheck.regex     {([\d.]+)/}
Note: See TracBrowser for help on using the repository browser.