mirror of
https://github.com/php/php-src.git
synced 2025-08-15 21:48:51 +02:00
4d8dd8d258
https://wiki.php.net/rfc/rng_extension https://wiki.php.net/rfc/random_extension_improvement
4 lines
357 B
Text
4 lines
357 B
Text
EXTENSION("random", "random.c", false /* never shared */, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1");
|
|
PHP_RANDOM="yes";
|
|
ADD_SOURCES(configure_module_dirname, "engine_combinedlcg.c engine_mt19937.c engine_pcgoneseq128xslrr64.c engine_xoshiro256starstar.c engine_secure.c engine_user.c randomizer.c", "random");
|
|
PHP_INSTALL_HEADERS("ext/random", "php_random.h");
|