From 839bd439b0973340a787befb496a41d338cefcc8 Mon Sep 17 00:00:00 2001 From: Pierre Joye Date: Fri, 1 Aug 2008 11:21:27 +0000 Subject: [PATCH] - first static lib then dyn or old one --- ext/tidy/config.w32 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ext/tidy/config.w32 b/ext/tidy/config.w32 index e9e2a225f7..41f217588d 100644 --- a/ext/tidy/config.w32 +++ b/ext/tidy/config.w32 @@ -4,7 +4,7 @@ ARG_WITH("tidy", "TIDY support", "no"); if (PHP_TIDY != "no") { - if (CHECK_LIB("libtidy.lib", "tidy", PHP_TIDY) && + if (CHECK_LIB("libtidy_a.lib;libtidy.lib", "tidy", PHP_TIDY) && ( CHECK_HEADER_ADD_INCLUDE("tidy.h", "CFLAGS_TIDY") || CHECK_HEADER_ADD_INCLUDE("tidy/tidy.h", "CFLAGS_TIDY", null, null, true) || -- 2.50.1