22 #include <boost/version.hpp>
29 #define SEED_RNG_USE_BOOST_RANDOM_DEVICE
33 #if (defined(_WIN32) && (BOOST_VERSION < 104300))
34 #undef SEED_RNG_USE_BOOST_RANDOM_DEVICE
41 #ifdef SEED_RNG_USE_BOOST_RANDOM_DEVICE
42 #include <boost/nondet_random.hpp>
53 #ifdef SEED_RNG_USE_BOOST_RANDOM_DEVICE
54 static boost::random_device rnd_;
57 return static_cast<uint32_t> (std::time(0));
64 stream << std::setfill(
'0') << std::setw(
sizeof(
uint32_t)*2) << std::hex << random_seed_;
std::string next_seed_str()
GLsizei const GLcharARB ** string