From: Michael Wallner Date: Fri, 15 Nov 2013 09:25:47 +0000 (+0100) Subject: Merge remote-tracking branch 'php/master' X-Git-Tag: release-1.0.3~1 X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-raphf;a=commitdiff_plain;h=46e5919c294007ce7fd09b07f6dd1246835abe05;hp=f6f642fe8923885b0ad25ca97be20a72fc9a539c Merge remote-tracking branch 'php/master' --- 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 2eac6d7..5dbc3fb 100644 --- a/package.xml +++ b/package.xml @@ -37,6 +37,7 @@ http://pear.php.net/dtd/package-2.0.xsd"> +