Inline GDB script

Author: arnaud-lb

.gitattributes

@@ -21,6 +21,7 @@
 
 # Collapse generated files within git and pull request diff.
 **/*_arginfo.h linguist-generated -diff
+/main/gdb_inlined_script.c linguist-generated -diff
 /Zend/zend_vm_execute.h linguist-generated -diff
 /Zend/zend_vm_handlers.h linguist-generated -diff
 /Zend/zend_vm_opcodes.[ch] linguist-generated -diff

build/Makefile.global

@@ -160,5 +160,10 @@ prof-use:
 		fi; \
 	fi;
 
+$(srcdir)/main/gdb_inlined_script.c: $(srcdir)/tools/gdb/gen_gdb_inlined_script.php
+	@if test ! -z "$(PHP)"; then \
+		$(PHP) $(srcdir)/tools/gdb/gen_gdb_inlined_script.php; \
+	fi;
+
 .PHONY: all clean install distclean test prof-gen prof-clean prof-use
 .NOEXPORT:

configure.ac

@@ -1709,6 +1709,10 @@ PHP_ADD_SOURCES(main, main.c snprintf.c spprintf.c \
        network.c php_open_temporary_file.c php_odbc_utils.c safe_bcmp.c \
        output.c getopt.c php_syslog.c, -DZEND_ENABLE_STATIC_TSRMLS_CACHE=1)
 
+if printf "#if __ELF__\nelf\n#endif\n" | $CC -E - | grep elf > /dev/null; then
+  PHP_ADD_SOURCES(main, gdb_inlined_script.c)
+fi
+
 PHP_ADD_SOURCES_X(main, fastcgi.c, -DZEND_ENABLE_STATIC_TSRMLS_CACHE=1, PHP_FASTCGI_OBJS, no)
 
 PHP_ADD_SOURCES(main/streams, streams.c cast.c memory.c filter.c \