From: Frank M. Kromann <fmk@php.net>
Date: Sat, 29 Apr 2006 06:24:21 +0000 (+0000)
Subject: Add new configure option --enable-pdb-files
X-Git-Tag: BEFORE_NEW_OUTPUT_API~351
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=9c0b0907050392689a3eb60d9c1d907d855c7394;p=php

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 9ae3bd6491..4ac6550238 100644
--- 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);