From 2dae10fd73cd2038c04d2001af346d0ffe646d41 Mon Sep 17 00:00:00 2001 From: Anatol Belski Date: Sun, 29 Sep 2013 23:26:06 +0200 Subject: [PATCH] added config.w32 --- .gitignore | 2 +- config.w32 | 7 +++++++ package.xml | 1 + 3 files changed, 9 insertions(+), 1 deletion(-) create mode 100644 config.w32 diff --git a/.gitignore b/.gitignore index 20c5e8b..076cb14 100644 --- a/.gitignore +++ b/.gitignore @@ -5,7 +5,7 @@ /.deps /*.lo /*.la -/config.[^m]* +/config.[^mw]* /configure* /lib* /ac*.m4 diff --git a/config.w32 b/config.w32 new file mode 100644 index 0000000..e33ea76 --- /dev/null +++ b/config.w32 @@ -0,0 +1,7 @@ + + +ARG_ENABLE("raphf", "for raphf support", "no"); + +if (PHP_RAPHF == "yes") { + EXTENSION("raphf", "php_raphf.c"); +} diff --git a/package.xml b/package.xml index a9798a3..6033e78 100644 --- a/package.xml +++ b/package.xml @@ -37,6 +37,7 @@ http://pear.php.net/dtd/package-2.0.xsd"> + -- 2.30.2