ensure shared extensions are loaded from INI

diff --git a/Makefile b/Makefile
index edaf87b2c8eee0840d23c5b0ffaee93c94bedf77..7c570d51b9380a779e3284950018dc12a546aa86 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -59,7 +59,13 @@ reconf: check $(srcdir)/php-$(PHP_VERSION)/configure
        cd $(srcdir)/php-$(PHP_VERSION) && ./configure -C --prefix=$(prefix)
 
 .PHONY: php
-php: check $(bindir)/php
+php: check $(bindir)/php | $(PECL_INI)
+       -for EXT_SONAME in $(extdir)/*.so; do \
+               EXT_SONAME=$$(basename $$EXT_SONAME); \
+               if ! grep -q extension=$$EXT_SONAME $(PECL_INI); then \
+                       echo extension=$$EXT_SONAME >> $(PECL_INI); \
+               fi \
+       done
 
 $(PHP_VERSIONS_JSON): $(srcdir)/php-version.php
        curl -Sso $@ "http://php.net/releases/index.php?json&version=$(PHP_VERSION_MAJOR)&max=-1"