Add new configure option --enable-pdb-files

This will generate .pdb files for debugging

diff --git a/win32/build/config.w32 b/win32/build/config.w32
index 031f1e2abecdd5f3af123d4f41cf24bc0352761c..225ef9c8dc8b570c9dfd88e88dd63292a286ee19 100644 (file)
--- a/win32/build/config.w32
+++ b/win32/build/config.w32
@@ -302,6 +302,11 @@ if (PHP_ZEND_MULTIBYTE == "yes") {
        AC_DEFINE('ZEND_MULTIBYTE', 1);
 }
 
+ARG_ENABLE("pdb-files", "Enable generation of .pdp files", "no");
+if (PHP_PDB_FILES == "yes") {
+       ADD_FLAG("LDFLAGS", "/debug /opt:ref");
+}
+
 AC_DEFINE('HAVE_USLEEP', 1);
 AC_DEFINE('HAVE_STRCOLL', 1);