commit 49f3a5f29770b14e7011f489df719f3faaf72c15
author Davide Pesavento <davide.pesavento@lip6.fr> Sat Sep 23 01:36:33 2017 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> Sat Sep 23 01:57:05 2017 -0400
tree 9fde9dad1c8cff364b7430c037bea31391977edb
parent b545aacf5d1903cb7306f3e3bebbde33bc1309e8

Eliminate dependency on Boost.Random

Also replace use of std::random_shuffle (removed in C++17)
with std::shuffle.

Change-Id: I200a8a404e67447c547c9abfa1a5a55a18de9ef3

wscript

diff --git a/wscript b/wscript
index f4f4907..3648e2f 100644
--- a/wscript
+++ b/wscript
@@ -34,7 +34,7 @@
     conf.env['WITH_TESTS'] = conf.options.with_tests
     conf.env['WITH_TOOLS'] = conf.options.with_tools
 
-    USED_BOOST_LIBS = ['system', 'iostreams', 'filesystem', 'random']
+    USED_BOOST_LIBS = ['system', 'iostreams', 'filesystem']
     if conf.env['WITH_TESTS']:
         USED_BOOST_LIBS += ['unit_test_framework']
     conf.check_boost(lib=USED_BOOST_LIBS, mandatory=True)