From 5fa813b43612f3467f029f6681ebe5591ac6d275 Mon Sep 17 00:00:00 2001 From: Michael Wallner Date: Fri, 11 Mar 2016 20:02:21 +0100 Subject: [PATCH] ensure shared extensions are loaded from INI --- Makefile | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index edaf87b..7c570d5 100644 --- 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" -- 2.30.2