Revision: 89677 http://trac.macports.org/changeset/89677 Author: ryandesign@macports.org Date: 2012-02-06 09:53:08 -0800 (Mon, 06 Feb 2012) Log Message: ----------- ppl: add standard modeline and revise whitespace to match it Modified Paths: -------------- trunk/dports/devel/ppl/Portfile Modified: trunk/dports/devel/ppl/Portfile =================================================================== --- trunk/dports/devel/ppl/Portfile 2012-02-06 16:34:03 UTC (rev 89676) +++ trunk/dports/devel/ppl/Portfile 2012-02-06 17:53:08 UTC (rev 89677) @@ -1,44 +1,46 @@ +# -*- 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 # $Id$ -PortSystem 1.0 -PortGroup muniversal 1.0 -name ppl -version 0.11.2 -revision 1 +PortSystem 1.0 +PortGroup muniversal 1.0 -categories devel math -maintainers adfernandes openmaintainer -platforms darwin +name ppl +version 0.11.2 +revision 1 +categories devel math +platforms darwin +maintainers adfernandes openmaintainer +license GPL-3+ -description A modern C++ library providing numerical abstractions +description A modern C++ library providing numerical abstractions -long_description The Parma Polyhedra Library (PPL) is a modern C++ library \ - providing numerical abstractions especially targeted at \ - applications in the field of analysis and verification of \ - complex systems. The PPL can handle all the convex \ - polyhedra that can be defined as the intersection of a \ - finite number of (open or closed) hyperspaces, each \ - described by an equality or inequality (strict or \ - non-strict) with rational coefficients. The PPL also \ - handles restricted classes of polyhedra that offer \ - interesting complexity/precision tradeoffs. The library \ - also supports finite powersets of (any kind of) polyhedra \ - and linear programming problems solved with an \ - exact-arithmetic version of the simplex algorithm. +long_description The Parma Polyhedra Library (PPL) is a modern C++ library \ + providing numerical abstractions especially targeted at \ + applications in the field of analysis and verification of \ + complex systems. The PPL can handle all the convex \ + polyhedra that can be defined as the intersection of a \ + finite number of (open or closed) hyperspaces, each \ + described by an equality or inequality (strict or \ + non-strict) with rational coefficients. The PPL also \ + handles restricted classes of polyhedra that offer \ + interesting complexity/precision tradeoffs. The library \ + also supports finite powersets of (any kind of) polyhedra \ + and linear programming problems solved with an \ + exact-arithmetic version of the simplex algorithm. -homepage http://www.cs.unipr.it/ppl/ -master_sites http://www.cs.unipr.it/ppl/Download/ftp/releases/${version}/ \ - ftp://ftp.cs.unipr.it/pub/ppl/releases/${version}/ -use_bzip2 yes +homepage http://www.cs.unipr.it/ppl/ +master_sites http://www.cs.unipr.it/ppl/Download/ftp/releases/${version}/ \ + ftp://ftp.cs.unipr.it/pub/ppl/releases/${version}/ +use_bzip2 yes -license GPL-3+ +checksums md5 c24429e6c3bc97d45976a63f40f489a1 \ + sha1 915f1d8a7def10e540bf2806babf94dccd15852a \ + rmd160 68dd335f6e94df09ac4e19ccf08f1c1b280efe86 -checksums md5 c24429e6c3bc97d45976a63f40f489a1 \ - sha1 915f1d8a7def10e540bf2806babf94dccd15852a \ - rmd160 68dd335f6e94df09ac4e19ccf08f1c1b280efe86 +depends_build port:m4 -depends_lib port:gmp port:glpk -depends_build port:m4 +depends_lib port:gmp \ + port:glpk variant gcc43 conflicts gcc44 gcc45 gcc46 description "Use GCC 4.3 for compilation of PPL" { depends_build-append port:gcc43 @@ -78,22 +80,22 @@ lappend merger_configure_args($arch) --host=${arch}-apple-${os.platform}${os.version} } foreach arch ${native_target} { - if { [variant_isset gcc43] || [variant_isset gcc44] || [variant_isset gcc45] || [variant_isset gcc46] } { - lappend merger_configure_cflags($arch) -march=native - } + if { [variant_isset gcc43] || [variant_isset gcc44] || [variant_isset gcc45] || [variant_isset gcc46] } { + lappend merger_configure_cflags($arch) -march=native + } } } platform i386 { if { [variant_isset gcc43] || [variant_isset gcc44] || [variant_isset gcc45] || [variant_isset gcc46] } { - configure.cflags-append -mno-avx - configure.cxxflags-append -mno-avx + configure.cflags-append -mno-avx + configure.cxxflags-append -mno-avx } } -test.run yes -test.target check +test.run yes +test.target check -livecheck.type regex -livecheck.url ${homepage}Download/ -livecheck.regex ${name}-(\[0-9.\]+)\\.tar +livecheck.type regex +livecheck.url ${homepage}Download/ +livecheck.regex ${name}-(\[0-9.\]+)\\.tar