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 9ae3bd64910a008ea1e219ec36e5d3e03af73a90..4ac65502383a5e33a3b46352cab390975fdd457f 100644 (file)
--- a/win32/build/config.w32
+++ b/win32/build/config.w32
@@ -313,6 +313,11 @@ AC_DEFINE('MEMORY_LIMIT', PHP_MEMORY_LIMIT == "yes" ? 1 : 0);
 ARG_ENABLE("memory-manager", "Enable Zend memory manager", "yes");
 AC_DEFINE('USE_ZEND_ALLOC', PHP_MEMORY_MANAGER == "yes" ? 1 : 0);
 
+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);