From a25670504466554f33bc2cd14a0f83c93fe4ea12 Mon Sep 17 00:00:00 2001
From: Edin Kadribasic <edink@php.net>
Date: Sun, 7 Dec 2003 00:59:35 +0000
Subject: [PATCH] Added filepro to the new win32 build. Works both as shared
 and built-in extension on windows.

---
 ext/filepro/config.w32 | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 ext/filepro/config.w32

diff --git a/ext/filepro/config.w32 b/ext/filepro/config.w32
new file mode 100644
index 0000000000..06848c7767
--- /dev/null
+++ b/ext/filepro/config.w32
@@ -0,0 +1,9 @@
+// $Id$
+// vim:ft=javascript
+
+ARG_ENABLE("filepro", "Enable the bundled read-only filePro support.", "no");
+
+if (PHP_FILEPRO != "no") {
+	EXTENSION("filepro", "filepro.c");
+	AC_DEFINE('HAVE_FILEPRO', 1, 'filepro support');
+}
-- 
2.40.0