#include "satsolver/repo_solv.h"
#include "satsolver/poolarch.h"
#include "satsolver/evr.h"
-#include "satsolver/poolvendor.h"
+#include "satsolver/poolvendor.h"
+#include "satsolver/sat_debug.h"
}
/////////////////////////////////////////////////////////////////////////
return os << "<resolver/>";
}
+void logSat (char *logString)
+{
+ MIL << logString;
+}
+
//---------------------------------------------------------------------------
, _architecture( zypp_detail::defaultArchitecture() )
{
-
+ // initialialize logging
+ sat_set_debug( getenv("ZYPP_FULLLOG") ? DEBUG_5 : ERROR,
+ 1 ); // logging linenumer, function,....
+ sat_set_debugCallback (logSat);
}