[89677] trunk/dports/devel/ppl/Portfile
ryandesign at macports.org
ryandesign at macports.org
Mon Feb 6 09:53:08 PST 2012
Revision: 89677
http://trac.macports.org/changeset/89677
Author: ryandesign at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20120206/00ffce5a/attachment.html>
More information about the macports-changes
mailing list