xref: /PHP-5.4/sapi/embed/config.w32 (revision 17a57ad9)
1// vim:ft=javascript
2// $Id$
3
4ARG_ENABLE('embed', 'Embedded SAPI library', 'no');
5
6var PHP_EMBED_PGO = false;
7
8if (PHP_EMBED != "no") {
9	SAPI('embed', 'php_embed.c', 'php' + PHP_VERSION + 'embed.lib');
10	PHP_INSTALL_HEADERS("sapi/embed", "php_embed.h");
11}
12