mirror of
https://github.com/php/php-src.git
synced 2024-09-22 02:17:32 +00:00
12 lines
255 B
JavaScript
12 lines
255 B
JavaScript
// vim:ft=javascript
|
|
// $Id$
|
|
|
|
ARG_ENABLE('embed', 'Embedded SAPI library', 'no');
|
|
|
|
var PHP_EMBED_PGO = false;
|
|
|
|
if (PHP_EMBED != "no") {
|
|
SAPI('embed', 'php_embed.c', 'php' + PHP_VERSION + 'embed.lib');
|
|
PHP_INSTALL_HEADERS("sapi/embed", "php_embed.h");
|
|
}
|