diff options
| author | Wez Furlong <wez@php.net> | 2004-03-22 23:07:55 +0000 |
|---|---|---|
| committer | Wez Furlong <wez@php.net> | 2004-03-22 23:07:55 +0000 |
| commit | 719d336b4f515053453f30109ac5e0c321df8a99 (patch) | |
| tree | 2701e1f5d62bd7d113ea983a81c945cee5355a20 /ext/tidy/config.w32 | |
| parent | 27d7cd85949348aedacdeecd86f13ca2f517eac2 (diff) | |
| download | php-git-719d336b4f515053453f30109ac5e0c321df8a99.tar.gz | |
export libtidy symbols
Diffstat (limited to 'ext/tidy/config.w32')
| -rw-r--r-- | ext/tidy/config.w32 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ext/tidy/config.w32 b/ext/tidy/config.w32 index 0f47864fa2..e9e2a225f7 100644 --- a/ext/tidy/config.w32 +++ b/ext/tidy/config.w32 @@ -12,6 +12,9 @@ if (PHP_TIDY != "no") { )) { 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"); } |