commit 5f47aa61407aeef4652e7e85c93d3415a36a7c4e
author Davide Pesavento <davide.pesavento@lip6.fr> Fri Oct 07 22:09:09 2016 +0200
committer Davide Pesavento <davide.pesavento@lip6.fr> Fri Nov 04 17:56:14 2016 +0100
tree 568f19edea0867aa279431aae40ad915ec36b528
parent 89c4cca866712aee628a86782bcd850d3aeecd33

core: use C++11 <random> instead of Boost.Random

Change-Id: I8f22965b86c681581762a47995f29f888421a558
Refs: #3599

wscript

diff --git a/wscript b/wscript
index 265f93b..f3052b9 100644
--- a/wscript
+++ b/wscript
@@ -110,7 +110,7 @@
     conf.check_cxx(header_name='ifaddrs.h', mandatory=False)
     conf.check_cxx(header_name='valgrind/valgrind.h', define_name='HAVE_VALGRIND', mandatory=False)
 
-    boost_libs = 'system chrono program_options random thread log log_setup'
+    boost_libs = 'system chrono program_options thread log log_setup'
     if conf.options.with_tests:
         conf.env['WITH_TESTS'] = 1
         conf.define('WITH_TESTS', 1)