Always using old boost timers to avoid boost system dependency
parent
d83c4c390c
commit
82e3d23230
|
|
@ -24,9 +24,11 @@
|
||||||
#include <boost/weak_ptr.hpp>
|
#include <boost/weak_ptr.hpp>
|
||||||
#include <gtsam/base/types.h>
|
#include <gtsam/base/types.h>
|
||||||
|
|
||||||
|
#if 0
|
||||||
#if BOOST_VERSION >= 104800
|
#if BOOST_VERSION >= 104800
|
||||||
#define GTSAM_USING_NEW_BOOST_TIMERS
|
#define GTSAM_USING_NEW_BOOST_TIMERS
|
||||||
#endif
|
#endif
|
||||||
|
#endif
|
||||||
|
|
||||||
#ifdef GTSAM_USING_NEW_BOOST_TIMERS
|
#ifdef GTSAM_USING_NEW_BOOST_TIMERS
|
||||||
#include <boost/timer/timer.hpp>
|
#include <boost/timer/timer.hpp>
|
||||||
|
|
@ -216,4 +218,4 @@ inline void ticPop(const std::string&, const std::string&) {}
|
||||||
inline void tictoc_print() {}
|
inline void tictoc_print() {}
|
||||||
#endif
|
#endif
|
||||||
|
|
||||||
#endif
|
#endif
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue