Added variable php_band_php_extension_dir

Author: francisek

CHANGELOG.md

@@ -1,5 +1,9 @@
 # Changelog
 
+0.3.0 :
+
+- Added variable `php_band_php_extension_dir`
+
 0.2.0 : 
 
 - Added a check of configuration files modification date to rebuild

README.md

@@ -122,7 +122,7 @@ Those variables can be used but should not be modified:
 + *php_version_minor* The php minor version (for example 6)
 + *php_version_patch* The php patch version (for example 3)
 + *php_version_addon* The php version (for example RC2)
-+ *php_band_php_install_dir* The directory where php is installed
++ *php_band_php_extension_dir* The directory where php looks extensions for. Available from the post_install_php() function.
 
 ## Usefull functions
 

bin/php-band

@@ -25,6 +25,7 @@ php_prefered_sites=(
 # configurable options
 php_band_php_install_dir=
 php_band_php_config_options=
+php_band_php_extension_dir=
 
 source $PHP_BAND_ROOT_DIR/lib/core.sh
 # Commands

lib/core.sh

@@ -152,6 +152,14 @@ php_band_extract_php_source() {
     [ $? -ne 0 ] && error_exit "$php_band_archive_filename does not seem to be a valid archive" 3
 }
 
+php_band_get_php_extension_dir() {
+    if [ -x "${php_band_php_install_dir}/bin/php-config" ]; then
+        php_band_php_extension_dir=$(${php_band_php_install_dir}/bin/php-config --extension-dir)
+    else
+        php_band_php_extension_dir=''
+    fi
+}
+
 pre_configure_php() {
     # Pre configure can be overriden in specific config files config-php.sh
     return
@@ -204,6 +212,7 @@ php_band_compile_php() {
     fi
     make install
     [ $? -eq 0 ] || error_exit "Installation of php failed" 3
+    php_band_get_php_extension_dir
     post_install_php
 }