void
-SATResolver::solverInit(const PoolItemList & weakItems, const std::set<Repository> & upgradeRepos)
+SATResolver::solverInit(const PoolItemList & weakItems)
{
SATCollectTransact info (*this);
}
}
- if ( _distupgrade || !upgradeRepos.empty() )
+ if ( _distupgrade )
{
if ( ZConfig::instance().solverUpgradeRemoveDroppedPackages() )
{
{
if ( (*it)->onSystem() ) // (to install) or (not to delete)
{
- Product::constPtr prodCand;
- if ( _distupgrade )
- {
- prodCand = (*it)->candidateAsKind<Product>();
- }
- else // if ( !upgradeRepos.empty() )
- {
- for_( ait, (*it)->availableBegin(), (*it)->availableEnd() )
- {
- if ( upgradeRepos.find( (*ait).satSolvable().repository() ) != upgradeRepos.end() )
- {
- prodCand = (*ait)->asKind<Product>();
- break;
- }
- }
- }
-
+ Product::constPtr prodCand( (*it)->candidateAsKind<Product>() );
if ( ! prodCand || (*it)->identicalInstalledCandidate() )
continue; // product no longer available or unchanged
MIL << "SATResolver::resolvePool()" << endl;
// initialize
- solverInit(weakItems, upgradeRepos);
+ solverInit(weakItems);
for (PoolItemList::const_iterator iter = _items_to_install.begin(); iter != _items_to_install.end(); iter++) {
Id id = (*iter)->satSolvable().id();
void resetItemTransaction (PoolItem item);
// Create a SAT solver and reset solver selection in the pool (Collecting
- void solverInit(const PoolItemList & weakItems, const std::set<Repository> & upgradeRepos = std::set<Repository>());
+ void solverInit(const PoolItemList & weakItems);
// common solver run with the _jobQueue; Save results back to pool
bool solving(const CapabilitySet & requires_caps = CapabilitySet(),
const CapabilitySet & conflict_caps = CapabilitySet());