Revision
80103
Author
jeremyhu@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

Diff

Modified: trunk/dports/devel/ppl/Portfile (80102 => 80103)


--- 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