Changeset 90672 for trunk/dports/_resources/port1.0

Timestamp:

Mar 12, 2012, 1:37:46 AM (8 years ago)

Author:

ryandesign@…

Message:

php-1.0.tcl: rename php.php_ini to php.ini

File:

• trunk/dports/_resources/port1.0/group/php-1.0.tcl (modified) (3 diffs)

trunk/dports/_resources/port1.0/group/php-1.0.tcl

@@ -76 +76 @@
 options php.extension_dir
 default php.extension_dir       {[exec ${php.config} --extension-dir 2>/dev/null]}
+options php.ini
+default php.ini                 {${prefix}/etc/${php}/php.ini}
 options php.inidir
 default php.inidir              {${prefix}/var/db/${php}}
-options php.php_ini
-default php.php_ini             {${prefix}/etc/${php}/php.ini}
 options php.phpize
 default php.phpize              {${prefix}/bin/phpize${php.version}}
@@ -186 +186 @@
             puts $fp "; Do not edit this file; it is automatically generated by MacPorts."
             puts $fp "; Any changes you make will be lost if you upgrade or uninstall ${name}."
-            puts $fp "; To configure PHP, edit ${php.php_ini}."
+            puts $fp "; To configure PHP, edit ${php.ini}."
             foreach extension ${php.extensions} {
                 puts $fp "${extension_prefix}${extension}.so"
@@ -194 +194 @@
         
         post-install {
-            if {[file exists ${php.php_ini}]} {
+            if {[file exists ${php.ini}]} {
                 set count 0
-                set fp [open ${php.php_ini} r]
+                set fp [open ${php.ini} r]
                 while {![eof $fp]} {
                     set line [gets $fp]
                     regexp {^extension_dir *= *"?([^\"]*)"?} $line -> phpiniextensiondir
                     if {[info exists phpiniextensiondir]} {
-                        ui_debug "Found extension_dir ${phpiniextensiondir} in ${php.php_ini}"
+                        ui_debug "Found extension_dir ${phpiniextensiondir} in ${php.ini}"
                         if {${phpiniextensiondir} != ${php.extension_dir}} {
                             if {0 == ${count}} {
                                 ui_msg "Your php.ini contains a line that will prevent ${name}"
                                 ui_msg "and other PHP extensions from working. To fix this,"
-                                ui_msg "edit ${php.php_ini} and delete this line:"
+                                ui_msg "edit ${php.ini} and delete this line:"
                                 ui_msg ""
                             }