| 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 | |
|---|
| 4 | PortSystem 1.0 |
|---|
| 5 | PortGroup muniversal 1.0 |
|---|
| 6 | |
|---|
| 7 | name ppl |
|---|
| 8 | version 0.11.2 |
|---|
| 9 | revision 1 |
|---|
| 10 | categories devel math |
|---|
| 11 | platforms darwin |
|---|
| 12 | maintainers adfernandes openmaintainer |
|---|
| 13 | license GPL-3+ |
|---|
| 14 | |
|---|
| 15 | description A modern C++ library providing numerical abstractions |
|---|
| 16 | |
|---|
| 17 | long_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 | |
|---|
| 31 | homepage http://www.cs.unipr.it/ppl/ |
|---|
| 32 | master_sites http://www.cs.unipr.it/ppl/Download/ftp/releases/${version}/ \ |
|---|
| 33 | ftp://ftp.cs.unipr.it/pub/ppl/releases/${version}/ |
|---|
| 34 | use_bzip2 yes |
|---|
| 35 | |
|---|
| 36 | checksums md5 c24429e6c3bc97d45976a63f40f489a1 \ |
|---|
| 37 | sha1 915f1d8a7def10e540bf2806babf94dccd15852a \ |
|---|
| 38 | rmd160 68dd335f6e94df09ac4e19ccf08f1c1b280efe86 |
|---|
| 39 | |
|---|
| 40 | patchfiles configure-crosscompile.patch |
|---|
| 41 | |
|---|
| 42 | depends_build port:m4 |
|---|
| 43 | |
|---|
| 44 | depends_lib port:gmp \ |
|---|
| 45 | port:glpk |
|---|
| 46 | |
|---|
| 47 | variant 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 | |
|---|
| 53 | variant 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 | |
|---|
| 59 | variant 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 | |
|---|
| 65 | variant 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 | |
|---|
| 71 | if { ${os.arch} == "i386" } { |
|---|
| 72 | set native_target {i386 x86_64} |
|---|
| 73 | } else { |
|---|
| 74 | set native_target {ppc ppc64} |
|---|
| 75 | } |
|---|
| 76 | |
|---|
| 77 | if { [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 | |
|---|
| 91 | platform 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 | |
|---|
| 98 | test.run yes |
|---|
| 99 | test.target check |
|---|
| 100 | |
|---|
| 101 | livecheck.type regex |
|---|
| 102 | livecheck.url ${homepage}Download/ |
|---|
| 103 | livecheck.regex ${name}-(\[0-9.\]+)\\.tar |
|---|
