diff options
Diffstat (limited to 'pinpoint_php-cxx.patch')
| -rw-r--r-- | pinpoint_php-cxx.patch | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/pinpoint_php-cxx.patch b/pinpoint_php-cxx.patch new file mode 100644 index 0000000..1eb0f3a --- /dev/null +++ b/pinpoint_php-cxx.patch @@ -0,0 +1,30 @@ +From 27d46dcca6d74a30cd2df81b3f23977b8131957c Mon Sep 17 00:00:00 2001 +From: Remi Collet <remi@remirepo.net> +Date: Mon, 29 Jul 2024 10:28:12 +0200 +Subject: [PATCH] This is cxx extension + +--- + config.m4 | 5 ++--- + 1 file changed, 2 insertions(+), 3 deletions(-) + +diff --git a/config.m4 b/config.m4 +index 2dbfbff9..fcbc2aa6 100644 +--- a/config.m4 ++++ b/config.m4 +@@ -11,7 +11,6 @@ if test "$PHP_PINPOINT_PHP" != "no"; the + + PHP_REQUIRE_CXX() + PHP_SUBST(PINPOINT_PHP_SHARED_LIBADD) +- PHP_ADD_LIBRARY(stdc++, 1, PINPOINT_PHP_SHARED_LIBADD) + PHP_ADD_INCLUDE(PHP_EXT_SRCDIR()/common/include) + PHP_ADD_INCLUDE(PHP_EXT_SRCDIR()/common/jsoncpp/include) + PHP_ADD_INCLUDE(PHP_EXT_SRCDIR()/common/jsoncpp/include) +@@ -47,5 +46,5 @@ if test "$PHP_PINPOINT_PHP" != "no"; the + + PINPOINT_PHP_SHARED_LIBADD="$PINPOINT_PHP_SHARED_LIBADD -lrt" + +- PHP_NEW_EXTENSION(pinpoint_php,$PINPOINT_SRCS, $ext_shared) +-fi +\ No newline at end of file ++ PHP_NEW_EXTENSION(pinpoint_php,$PINPOINT_SRCS, $ext_shared,,, cxx) ++fi |