diff options
author | Pierre Joye <pajoye@php.net> | 2008-08-01 21:20:08 +0000 |
---|---|---|
committer | Pierre Joye <pajoye@php.net> | 2008-08-01 21:20:08 +0000 |
commit | 884aff3adba2bd1aeb39af17f254e3af6ca31016 (patch) | |
tree | 3d2e121789408a8d234a7a37ca10095b9814fd03 /ext/gettext | |
parent | 6c45fceb014ff25c705785688e5ef3ab202e921f (diff) | |
download | php-git-884aff3adba2bd1aeb39af17f254e3af6ca31016.tar.gz |
- MFH: use static lib first if found
Diffstat (limited to 'ext/gettext')
-rw-r--r-- | ext/gettext/config.w32 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/gettext/config.w32 b/ext/gettext/config.w32 index e6108b84e9..0755de2cd5 100644 --- a/ext/gettext/config.w32 +++ b/ext/gettext/config.w32 @@ -4,7 +4,7 @@ ARG_WITH("gettext", "gettext support", "no"); if (PHP_GETTEXT != "no") { - if (CHECK_LIB("libintl.lib", "gettext", PHP_GETTEXT) && CHECK_HEADER_ADD_INCLUDE("libintl.h", "CFLAGS_GETTEXT")) { + if (CHECK_LIB("libintl_a.lib;libintl.lib", "gettext", PHP_GETTEXT) && CHECK_HEADER_ADD_INCLUDE("libintl.h", "CFLAGS_GETTEXT")) { EXTENSION("gettext", "gettext.c", PHP_GETTEXT_SHARED, "-DHAVE_BIND_TEXTDOMAIN_CODESET=1 -DHAVE_DNGETTEXT=1 -DHAVE_NGETTEXT=1 -DHAVE_LIBINTL=1 -DHAVE_DCNGETTEXT=1"); } else { WARNING("gettext not enabled; libraries and headers not found"); |