Modified: trunk/dports/lang/php/Portfile (116756 => 116757)
--- trunk/dports/lang/php/Portfile 2014-02-06 03:35:38 UTC (rev 116756)
+++ trunk/dports/lang/php/Portfile 2014-02-06 05:24:12 UTC (rev 116757)
@@ -951,6 +951,13 @@
long_description ${description}
+ if {[vercmp ${php.branch} 5.6] == 0} {
+ # https://bugs.php.net/bug.php?id=66604
+ # fatal error: 'pdo/php_pdo_error.h' file not found
+ extract.post_args-append ${worksrcdir}/ext/pdo
+ configure.cppflags-append -I${worksrcpath}/ext
+ }
+
variant postgresql82 conflicts postgresql83 postgresql84 postgresql90 postgresql91 postgresql92 postgresql93 description {Use PostgreSQL 8.2 libraries} {
depends_lib-append port:postgresql82
@@ -1200,16 +1207,6 @@
php.build_dirs-append ${worksrcpath}/ext/${extension}
}
- post-extract {
- # The PDO extensions need the PDO headers which are installed by the ${php} port.
- foreach extension [concat ${php.extensions} ${php.extensions.zend}] {
- if {[regexp {^pdo_} ${extension}]} {
- file mkdir ${worksrcpath}/ext/${extension}/ext
- ln -s ${prefix}/include/${php}/php/ext/pdo ${worksrcpath}/ext/${extension}/ext
- }
- }
- }
-
pre-configure {
set php_version [exec ${php.config} --version 2>/dev/null]
if {${version} ne ${php_version}} {