added config.w32
authorAnatol Belski <ab@php.net>
Sun, 29 Sep 2013 21:26:06 +0000 (23:26 +0200)
committerAnatol Belski <ab@php.net>
Sun, 29 Sep 2013 21:26:06 +0000 (23:26 +0200)
.gitignore
config.w32 [new file with mode: 0644]
package.xml

index 20c5e8b98fe81182da1f40c102f0dc8bc7eb3bc8..076cb14794ba8005b4b99c622ac72420cb8b5dab 100644 (file)
@@ -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 (file)
index 0000000..e33ea76
--- /dev/null
@@ -0,0 +1,7 @@
+\r
+\r
+ARG_ENABLE("raphf", "for raphf support", "no");\r
+\r
+if (PHP_RAPHF == "yes") {\r
+               EXTENSION("raphf", "php_raphf.c");\r
+}\r
index a9798a3b223e6392e335b50dc5f292653bb6c350..6033e788af34166d1f5aaf2f05359fc52ef27b8f 100644 (file)
@@ -37,6 +37,7 @@ http://pear.php.net/dtd/package-2.0.xsd">
    <file role="doc" name="CREDITS" />
    <file role="doc" name="LICENSE" />
    <file role="src" name="config.m4" />
+   <file role="src" name="config.w32" />
    <file role="src" name="php_raphf.h" />
    <file role="src" name="php_raphf.c" />
   </dir>