summaryrefslogtreecommitdiff
path: root/ext/tidy/config.w32
diff options
context:
space:
mode:
authorLorry Tar Creator <lorry-tar-importer@baserock.org>2013-03-14 05:42:27 +0000
committer <>2013-04-03 16:25:08 +0000
commitc4dd7a1a684490673e25aaf4fabec5df138854c4 (patch)
tree4d57c44caae4480efff02b90b9be86f44bf25409 /ext/tidy/config.w32
downloadphp2-master.tar.gz
Imported from /home/lorry/working-area/delta_php2/php-5.4.13.tar.bz2.HEADphp-5.4.13master
Diffstat (limited to 'ext/tidy/config.w32')
-rw-r--r--ext/tidy/config.w3222
1 files changed, 22 insertions, 0 deletions
diff --git a/ext/tidy/config.w32 b/ext/tidy/config.w32
new file mode 100644
index 0000000..41f2175
--- /dev/null
+++ b/ext/tidy/config.w32
@@ -0,0 +1,22 @@
+// $Id$
+// vim:ft=javascript
+
+ARG_WITH("tidy", "TIDY support", "no");
+
+if (PHP_TIDY != "no") {
+ 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) ||
+ CHECK_HEADER_ADD_INCLUDE("libtidy/tidy.h", "CFLAGS_TIDY", null, null, true)
+ )) {
+ EXTENSION("tidy", "tidy.c");
+ AC_DEFINE('HAVE_TIDY', 1, 'Have TIDY library');
+ if (!PHP_TIDY_SHARED) {
+ ADD_DEF_FILE("ext\\tidy\\php_tidy.def");
+ }
+ } else {
+ WARNING("tidy not enabled; libraries and headers not found");
+ }
+}
+