[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