diff options
Diffstat (limited to 'sapi/embed')
| -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"); } |