I was looking at the source of SystemC and saw that there are things like:
#define DEBUGF \
if (0) std::cout << "sc_cor_pthread.cpp(" << __LINE__ << ") "
and later on there are lines such as:
DEBUGF << this << ": sc_cor_pthread::sc_cor_pthread()" << std::endl;
(these are from sc_cor_pthread.cpp
)
I have already enabled debug option when configuring using ../configure --enable-debug
but it doesn't seem to activate these kinds of stuff. How am I supposed to turn these on instead of manually modifying source?