diff options
author | Pierre Joye <pajoye@php.net> | 2010-12-11 22:18:10 +0000 |
---|---|---|
committer | Pierre Joye <pajoye@php.net> | 2010-12-11 22:18:10 +0000 |
commit | a7ffa09e18137de43c91ac5f2120c170679baeae (patch) | |
tree | f2d77b2d2c9e738db96bdde27b87bf5796327be5 /sapi/embed/config.w32 | |
parent | 02ff4766c942985b73aa8932301fe7478a58c0ac (diff) | |
download | php-git-a7ffa09e18137de43c91ac5f2120c170679baeae.tar.gz |
- add PHP_INSTALL_HEADERS to all parts (core&exts) exposing headers, generate the install-headers cmd
Diffstat (limited to 'sapi/embed/config.w32')
-rw-r--r-- | sapi/embed/config.w32 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sapi/embed/config.w32 b/sapi/embed/config.w32 index 8ea0781ed3..f3cc60d600 100644 --- a/sapi/embed/config.w32 +++ b/sapi/embed/config.w32 @@ -5,4 +5,5 @@ ARG_ENABLE('embed', 'Embedded SAPI library', 'no'); if (PHP_EMBED != "no") { SAPI('embed', 'php_embed.c', 'php' + PHP_VERSION + 'embed.lib'); + PHP_INSTALL_HEADERS("sapi/embed", "php_embed.h"); } |