xref: /PHP-7.2/sapi/embed/config.w32 (revision 8122bee6)
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', '/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1');
10	PHP_INSTALL_HEADERS("sapi/embed", "php_embed.h");
11}
12