[124958] users/larryv/dports/devel/ppl/Portfile
larryv at macports.org
larryv at macports.org
Sun Aug 31 21:57:50 PDT 2014
Revision: 124958
https://trac.macports.org/changeset/124958
Author: larryv at macports.org
Date: 2014-08-31 21:57:50 -0700 (Sun, 31 Aug 2014)
Log Message:
-----------
ppl: More non-functional changes
Modified Paths:
--------------
users/larryv/dports/devel/ppl/Portfile
Modified: users/larryv/dports/devel/ppl/Portfile
===================================================================
--- users/larryv/dports/devel/ppl/Portfile 2014-09-01 02:35:12 UTC (rev 124957)
+++ users/larryv/dports/devel/ppl/Portfile 2014-09-01 04:57:50 UTC (rev 124958)
@@ -26,21 +26,19 @@
programming solver, and primitives for termination \
analysis via the automatic synthesis of linear ranking \
functions.
-
homepage http://bugseng.com/products/ppl
+
master_sites http://bugseng.com/products/ppl/download/ftp/releases/${version} \
ftp://ftp.cs.unipr.it/pub/ppl/releases/${version} \
http://bugseng.com/products/ppl/download/ftp/snapshots
use_xz yes
-
checksums rmd160 2c7b72a527af9d852a150a80d094a168c4a58ae5 \
sha256 c48ccd74664ec2cd3cdb5e37f287974ccb062f0384dc658d4053c424b19ad178
depends_build port:m4
depends_skip_archcheck-append m4
-depends_lib port:glpk \
- port:gmp
+depends_lib port:glpk port:gmp
# Generate a newer libtool that passes -stdlib when linking dylibs.
use_autoreconf yes
@@ -49,6 +47,7 @@
compiler.blacklist-append gcc-3.3 gcc-4.0 apple-gcc-4.0
compiler.fallback-append apple-gcc-4.2
+# TODO: Enable other interfaces via subports.
configure.args --enable-interfaces='cxx c'
if {[regexp clang|llvm ${configure.compiler}]} {
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20140831/d5749931/attachment.html>
More information about the macports-changes
mailing list