summaryrefslogtreecommitdiff
path: root/ext/gettext/config.w32
diff options
context:
space:
mode:
authorPierre Joye <pajoye@php.net>2008-08-01 21:19:46 +0000
committerPierre Joye <pajoye@php.net>2008-08-01 21:19:46 +0000
commit2ad7c548f06a7fbcfb24fc29b07b505ac9498e52 (patch)
tree117c701ca8a626d3b93b1689d15de2aa76dfd582 /ext/gettext/config.w32
parent75937acbafe06a927eb82bab6f2b244be60800c3 (diff)
downloadphp-git-2ad7c548f06a7fbcfb24fc29b07b505ac9498e52.tar.gz
- use static lib first if found
Diffstat (limited to 'ext/gettext/config.w32')
-rw-r--r--ext/gettext/config.w322
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");