[80103] trunk/dports/devel/ppl/Portfile

[jeremyhu at macports.org]

Revision: 80103
          http://trac.macports.org/changeset/80103
Author:   jeremyhu at macports.org
Date:     2011-07-04 03:04:14 -0700 (Mon, 04 Jul 2011)
Log Message:
-----------
ppl: Don't set configure.compiler gcc-4.2

It was added as a default for the +gccXX variants, but that's not necessary
and is incorrect.

Modified Paths:
--------------
    trunk/dports/devel/ppl/Portfile

Modified: trunk/dports/devel/ppl/Portfile
===================================================================
--- trunk/dports/devel/ppl/Portfile	2011-07-04 09:55:34 UTC (rev 80102)
+++ trunk/dports/devel/ppl/Portfile	2011-07-04 10:04:14 UTC (rev 80103)
@@ -37,8 +37,6 @@
 
 depends_lib       port:gmp port:glpk
 
-configure.compiler  gcc-4.2
-
 variant gcc43 conflicts gcc44 gcc45 description "Use GCC 4.3 for compilation of PPL" {
     depends_build-append        port:gcc43
     configure.compiler          macports-gcc-4.3
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20110704/f960f8b5/attachment.html>