xref: /PHP-8.3/ext/random/config.w32 (revision b14dd85d)
1EXTENSION("random", "random.c", false /* never shared */, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1");
2PHP_RANDOM="yes";
3ADD_SOURCES(configure_module_dirname, "csprng.c engine_combinedlcg.c engine_mt19937.c engine_pcgoneseq128xslrr64.c engine_xoshiro256starstar.c engine_secure.c engine_user.c gammasection.c randomizer.c", "random");
4PHP_INSTALL_HEADERS("ext/random", "php_random.h");
5