source: trunk/dports/devel/ppl/Portfile @ 90119

Last change on this file since 90119 was 90119, checked in by adfernandes@…, 5 years ago

devel/ppl: fix for cross-compile configure check #33152

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 4.0 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 90119 2012-02-22 13:55:14Z adfernandes@macports.org $
3
4PortSystem          1.0
5PortGroup           muniversal 1.0
6
7name                ppl
8version             0.11.2
9revision            1
10categories          devel math
11platforms           darwin
12maintainers         adfernandes openmaintainer
13license             GPL-3+
14
15description         A modern C++ library providing numerical abstractions
16
17long_description    The Parma Polyhedra Library (PPL) is a modern C++ library \
18                    providing numerical abstractions especially targeted at \
19                    applications in the field of analysis and verification of \
20                    complex systems. The PPL can handle all the convex \
21                    polyhedra that can be defined as the intersection of a \
22                    finite number of (open or closed) hyperspaces, each \
23                    described by an equality or inequality (strict or \
24                    non-strict) with rational coefficients. The PPL also \
25                    handles restricted classes of polyhedra that offer \
26                    interesting complexity/precision tradeoffs. The library \
27                    also supports finite powersets of (any kind of) polyhedra \
28                    and linear programming problems solved with an \
29                    exact-arithmetic version of the simplex algorithm.
30
31homepage            http://www.cs.unipr.it/ppl/
32master_sites        http://www.cs.unipr.it/ppl/Download/ftp/releases/${version}/ \
33                    ftp://ftp.cs.unipr.it/pub/ppl/releases/${version}/
34use_bzip2           yes
35
36checksums           md5     c24429e6c3bc97d45976a63f40f489a1 \
37                    sha1    915f1d8a7def10e540bf2806babf94dccd15852a \
38                    rmd160  68dd335f6e94df09ac4e19ccf08f1c1b280efe86
39
40patchfiles          configure-crosscompile.patch
41
42depends_build       port:m4
43
44depends_lib         port:gmp \
45                    port:glpk
46
47variant gcc43 conflicts gcc44 gcc45 gcc46 description "Use GCC 4.3 for compilation of PPL" {
48    depends_build-append        port:gcc43
49    configure.compiler          macports-gcc-4.3
50    configure.cflags-append     "-ftree-vectorize -O3 -march=native"
51}
52
53variant gcc44 conflicts gcc43 gcc45 gcc46 description "Use GCC 4.4 for compilation of PPL" {
54    depends_build-append        port:gcc44
55    configure.compiler          macports-gcc-4.4
56    configure.cflags-append     "-ftree-vectorize -O3 -march=native"
57}
58
59variant gcc45 conflicts gcc43 gcc44 gcc46 description "Use GCC 4.5 for compilation of PPL" {
60    depends_build-append        port:gcc45
61    configure.compiler          macports-gcc-4.5
62    configure.cflags-append     "-ftree-vectorize -O3 -march=native"
63}
64
65variant gcc46 conflicts gcc43 gcc44 gcc45 description "Use GCC 4.6 for compilation of PPL" {
66    depends_build-append        port:gcc46
67    configure.compiler          macports-gcc-4.6
68    configure.cflags-append     "-ftree-vectorize -O3 -march=native"
69}
70
71if { ${os.arch} == "i386" } {
72    set native_target {i386 x86_64}
73} else {
74    set native_target {ppc ppc64}
75}
76
77if { [variant_isset universal] } {
78    configure.cflags-delete -march=native
79    configure.args-append   --build=${build_arch}-apple-${os.platform}${os.version}
80
81    foreach arch ${universal_archs_supported} {
82        lappend merger_configure_args($arch)    --host=${arch}-apple-${os.platform}${os.version}
83    }
84    foreach arch ${native_target} {
85        if { [variant_isset gcc43] || [variant_isset gcc44] || [variant_isset gcc45] || [variant_isset gcc46] } {
86            lappend merger_configure_cflags($arch)  -march=native
87        }
88    }
89}
90
91platform i386 {
92    if { [variant_isset gcc43] || [variant_isset gcc44] || [variant_isset gcc45] || [variant_isset gcc46] } {
93        configure.cflags-append     -mno-avx
94        configure.cxxflags-append   -mno-avx
95    }
96}
97
98test.run            yes
99test.target         check
100
101livecheck.type      regex
102livecheck.url       ${homepage}Download/
103livecheck.regex     ${name}-(\[0-9.\]+)\\.tar
Note: See TracBrowser for help on using the repository browser.