Hi Steve,
The patch actually creates libs/random/src/random_device.cpp. instead of libs/random/random_device.cpp
Oops! I'd provided the wrong compile-log. Here is the correct one: D:/Sources/Boost/boost_1_42_0/libs/random/src/random_device.cpp:47: warning: ignoring #pragma comment In file included from D:\My Documents\My Contacts\Buisiness\MuSemantik\ACA\1\main.cpp:12: D:/Sources/Boost/boost_1_42_0/libs/random/src/random_device.cpp:224: error: redefinition of `const bool boost::random_device::has_fixed_range' D:/Sources/Boost/boost_1_42_0/boost/nondet_random.hpp:90: error: `const bool boost::random_device::has_fixed_range' previously defined here D:/Sources/Boost/boost_1_42_0/libs/random/src/random_device.cpp:225: error: redefinition of `const unsigned int boost::random_device::min_value' D:/Sources/Boost/boost_1_42_0/boost/nondet_random.hpp:91: error: `const unsigned int boost::random_device::min_value' previously defined here D:/Sources/Boost/boost_1_42_0/libs/random/src/random_device.cpp:226: error: redefinition of `const unsigned int boost::random_device::max_value' D:/Sources/Boost/boost_1_42_0/boost/nondet_random.hpp:92: error: `const unsigned int boost::random_device::max_value' previously defined here D:/Sources/Boost/boost_1_42_0/libs/random/src/random_device.cpp:249: warning: ignoring #pragma comment D:/Sources/Boost/boost_1_42_0/libs/random/src/random_device.cpp:251: error: duplicate initialization of boost::random_device::default_token D:/Sources/Boost/boost_1_42_0/libs/random/src/random_device.cpp:251: error: redefinition of `const char* const boost::random_device::default_token' D:/Sources/Boost/boost_1_42_0/libs/random/src/random_device.cpp:49: error: `const char* const boost::random_device::default_token' previously defined here D:/Sources/Boost/boost_1_42_0/libs/random/src/random_device.cpp:254: error: redefinition of `class boost::random_device::impl' D:/Sources/Boost/boost_1_42_0/libs/random/src/random_device.cpp:52: error: previous definition of `class boost::random_device::impl' D:/Sources/Boost/boost_1_42_0/libs/random/src/random_device.cpp:384: error: redefinition of `boost::random_device::random_device(const std::string&)' D:/Sources/Boost/boost_1_42_0/libs/random/src/random_device.cpp:182: error: `boost::random_device::random_device(const std::string&)' previously defined here D:/Sources/Boost/boost_1_42_0/libs/random/src/random_device.cpp:390: error: redefinition of `boost::random_device::~random_device()' D:/Sources/Boost/boost_1_42_0/libs/random/src/random_device.cpp:188: error: `boost::random_device::~random_device()' previously defined here D:/Sources/Boost/boost_1_42_0/libs/random/src/random_device.cpp:397: error: redefinition of `double boost::random_device::entropy() const' D:/Sources/Boost/boost_1_42_0/libs/random/src/random_device.cpp:195: error: `double boost::random_device::entropy() const' previously defined here D:/Sources/Boost/boost_1_42_0/libs/random/src/random_device.cpp:402: error: redefinition of `unsigned int boost::random_device::operator()()' D:/Sources/Boost/boost_1_42_0/libs/random/src/random_device.cpp:200: error: `unsigned int boost::random_device::operator()()' previously defined here TIA, --Hossein