diff --git a/INSTALL.sh b/INSTALL.sh index cee6bd4b..916c1aa2 100755 --- a/INSTALL.sh +++ b/INSTALL.sh @@ -206,6 +206,9 @@ sed -i "/EXTENSION_DIR = /c\ sed -i "/INI_DIR = /c\ INI_DIR = /dev/null" "$DIR_PHP_GTK_SOURCE/Makefile" +## Use local builds +sed -i "s|-lphpcpp|-Wl,-rpath=\"$DIR_PHP_CPP_TARGET/lib\" -lphpcpp|g" "$DIR_PHP_GTK_SOURCE/Makefile" + ## Force build for new installation if [ ! -f "$("$DIR_PHP_SRC_TARGET/bin/php-config" --extension-dir)/php-gtk3.so" ]; then BUILD_PHP_GTK="y" else # or ask for re-build