From 2732f0bd3e469c9f3257bc2fab8d0496b90d59ea Mon Sep 17 00:00:00 2001 From: Stefan Schubert Date: Thu, 3 Apr 2008 09:29:58 +0000 Subject: [PATCH] logging solver settings before solving --- zypp/sat/SATResolver.cc | 17 +++++++++++++++-- 1 file changed, 15 insertions(+), 2 deletions(-) diff --git a/zypp/sat/SATResolver.cc b/zypp/sat/SATResolver.cc index a128c8b..873c91c 100644 --- a/zypp/sat/SATResolver.cc +++ b/zypp/sat/SATResolver.cc @@ -104,7 +104,18 @@ itemToString (PoolItem item, bool shortVersion) std::ostream & SATResolver::dumpOn( std::ostream & os ) const { - return os << ""; + os << ""; + os << " fixsystem = " << _fixsystem << endl; + os << " allowdowngrade = " << _allowdowngrade << endl; + os << " allowarchchange = " << _allowarchchange << endl; + os << " allowvendorchange = " << _allowvendorchange << endl; + os << " allowuninstall = " << _allowuninstall << endl; + os << " updatesystem = " << _updatesystem << endl; + os << " allowvirtualconflicts = " << _allowvirtualconflicts << endl; + os << " noupdateprovide = " << _noupdateprovide << endl; + os << " dosplitprovides = " << _dosplitprovides << endl; + os << " onlyRequires = " << _onlyRequires << endl; + return os << "" << endl; } //--------------------------------------------------------------------------- @@ -448,6 +459,7 @@ SATResolver::resolvePool(const CapabilitySet & requires_caps, // Solve ! MIL << "Starting solving...." << endl; + MIL << *this; solver_solve( _solv, &(_jobQueue) ); MIL << "....Solver end" << endl; @@ -567,7 +579,8 @@ bool SATResolver::doUpdate() sat::Pool::instance().prepare(); // Solve ! - MIL << "Starting solving...." << endl; + MIL << "Starting solving for update...." << endl; + MIL << *this; solver_solve( _solv, &(_jobQueue) ); MIL << "....Solver end" << endl; -- 2.7.4