mirrors/php-src
0
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-01-09 20:44:33 +08:00
Code Issues Packages Projects Releases Wiki Activity

- first static lib then dyn or old one

Browse Source
This commit is contained in:
Pierre Joye 2008-08-01 11:21:27 +00:00
parent 1ddbfe44c8
commit 839bd439b0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ext/tidy/config.w32
View File

@ -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) ||