2013-01-18 19:58:54 +04:00
|
|
|
#ifndef UTIL_STREAM_TIMER__
|
|
|
|
|
#define UTIL_STREAM_TIMER__
|
|
|
|
|
|
2013-01-20 16:25:58 +04:00
|
|
|
// Sorry Jon, this was adding library dependencies in Moses and people complained.
|
|
|
|
|
|
|
|
|
|
/*#include <boost/version.hpp>
|
2013-01-18 19:58:54 +04:00
|
|
|
|
|
|
|
|
#if BOOST_VERSION >= 104800
|
|
|
|
|
#include <boost/timer/timer.hpp>
|
|
|
|
|
#define UTIL_TIMER(str) boost::timer::auto_cpu_timer timer(std::cerr, 1, (str))
|
|
|
|
|
#else
|
2013-01-20 16:25:58 +04:00
|
|
|
//#warning Using Boost older than 1.48. Timing information will not be available.*/
|
2013-01-18 19:58:54 +04:00
|
|
|
#define UTIL_TIMER(str)
|
2013-01-20 16:25:58 +04:00
|
|
|
//#endif
|
2013-01-18 19:58:54 +04:00
|
|
|
|
|
|
|
|
#endif // UTIL_STREAM_TIMER__
|
