1// $Id$ 2// vim:ft=javascript 3 4ARG_WITH("tidy", "TIDY support", "no"); 5 6if (PHP_TIDY != "no") { 7 if (CHECK_LIB("libtidy_a.lib;libtidy.lib", "tidy", PHP_TIDY) && 8 ( 9 CHECK_HEADER_ADD_INCLUDE("tidy.h", "CFLAGS_TIDY") || 10 CHECK_HEADER_ADD_INCLUDE("tidy/tidy.h", "CFLAGS_TIDY", null, null, true) || 11 CHECK_HEADER_ADD_INCLUDE("libtidy/tidy.h", "CFLAGS_TIDY", null, null, true) 12 )) { 13 EXTENSION("tidy", "tidy.c"); 14 AC_DEFINE('HAVE_TIDY', 1, 'Have TIDY library'); 15 ADD_FLAG('CFLAGS_TIDY', '/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1'); 16 if (!PHP_TIDY_SHARED) { 17 ADD_DEF_FILE("ext\\tidy\\php_tidy.def"); 18 } 19 } else { 20 WARNING("tidy not enabled; libraries and headers not found"); 21 } 22} 23 24
