diff options
Diffstat (limited to 'ext/curl/config.w32')
| -rw-r--r-- | ext/curl/config.w32 | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/ext/curl/config.w32 b/ext/curl/config.w32 deleted file mode 100644 index c2e41ba9c7..0000000000 --- a/ext/curl/config.w32 +++ /dev/null @@ -1,20 +0,0 @@ -// $Id$ -// vim:ft=javascript - -ARG_WITH("curl", "CURL support", "no"); - -if (PHP_CURL != "no") { - if (CHECK_LIB("libcurl.lib", "curl", PHP_CURL) && - CHECK_HEADER_ADD_INCLUDE("curl/easy.h", "CFLAGS_CURL") && - CHECK_LIB("ssleay32.lib", "curl", PHP_CURL) && - CHECK_LIB("libeay32.lib", "curl", PHP_CURL) && - CHECK_LIB("zlib.lib", "curl", PHP_CURL) && - CHECK_LIB("winmm.lib", "curl", PHP_CURL)) { - EXTENSION("curl", "interface.c multi.c streams.c"); - AC_DEFINE('HAVE_CURL', 1, 'Have CURL library'); - // TODO: check for curl_version_info - // AC_DEFINE('PHP_CURL_URL_WRAPPERS', 0, 'Use curl for URL wrappers [experimental]'); - } else { - WARNING("curl not enabled; libraries and headers not found"); - } -} |