diff options
Diffstat (limited to 'php-5.5.19-embed.patch')
| -rw-r--r-- | php-5.5.19-embed.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/php-5.5.19-embed.patch b/php-5.5.19-embed.patch new file mode 100644 index 0000000..6053b39 --- /dev/null +++ b/php-5.5.19-embed.patch @@ -0,0 +1,12 @@ +--- php-5.5.19/sapi/embed/config.m4.embed ++++ php-5.5.19/sapi/embed/config.m4 +@@ -12,7 +12,8 @@ if test "$PHP_EMBED" != "no"; then + case "$PHP_EMBED" in + yes|shared) + PHP_EMBED_TYPE=shared +- INSTALL_IT="\$(mkinstalldirs) \$(INSTALL_ROOT)\$(prefix)/lib; \$(INSTALL) -m 0755 $SAPI_SHARED \$(INSTALL_ROOT)\$(prefix)/lib" ++ EXTRA_LDFLAGS="$EXTRA_LDFLAGS -release \$(PHP_MAJOR_VERSION).\$(PHP_MINOR_VERSION)" ++ INSTALL_IT="\$(mkinstalldirs) \$(INSTALL_ROOT)\$(libdir); \$(LIBTOOL) --mode=install \$(INSTALL) -m 0755 \$(OVERALL_TARGET) \$(INSTALL_ROOT)\$(libdir)" + ;; + static) + PHP_EMBED_TYPE=static |