From 6efaa7c324c0bb32883fa7439182d5f8d0736f6b Mon Sep 17 00:00:00 2001 From: Anatol Belski Date: Sun, 29 Sep 2013 23:24:39 +0200 Subject: [PATCH] added config.w32 --- .gitignore | 2 +- config.w32 | 6 ++++++ package.xml | 1 + 3 files changed, 8 insertions(+), 1 deletion(-) create mode 100644 config.w32 diff --git a/.gitignore b/.gitignore index 20c5e8b..a59cb22 100644 --- a/.gitignore +++ b/.gitignore @@ -5,7 +5,7 @@ /.deps /*.lo /*.la -/config.[^m]* +/config.[^wm]* /configure* /lib* /ac*.m4 diff --git a/config.w32 b/config.w32 new file mode 100644 index 0000000..1d28775 --- /dev/null +++ b/config.w32 @@ -0,0 +1,6 @@ + +ARG_ENABLE("propro", "for propro support", "no"); + +if (PHP_PROPRO == "yes") { + EXTENSION("propro", "php_propro.c"); +} diff --git a/package.xml b/package.xml index 98b4a05..e52465f 100644 --- a/package.xml +++ b/package.xml @@ -37,6 +37,7 @@ http://pear.php.net/dtd/package-2.0.xsd"> + -- 2.30.2