// TranslatorExplanation %s = name of package, patch, selection ...
_description = str::form (_("Ignore some dependencies of %s"), item->name().c_str() );
-// addAction ( new InjectSolutionAction (item, capability, REQUIRES));
+ addAction ( new InjectSolutionAction (item, WEAK));
}
ProblemSolutionIgnore::ProblemSolutionIgnore( ResolverProblem_Ptr parent,
_description = _("Generally ignore of some dependecies");
for (PoolItemList::const_iterator iter = itemList.begin();
iter != itemList.end(); iter++) {
-// addAction ( new InjectSolutionAction (*iter, capability, REQUIRES));
+ addAction ( new InjectSolutionAction (*iter, WEAK));
}
}
MIL << "Problem " << pcnt++ << ":" << endl;
MIL << "====================================" << endl;
string detail;
- Id ignorId;
- string whatString = SATprobleminfoString (problem,detail,ignorId);
+ Id ignoreId;
+ string whatString = SATprobleminfoString (problem,detail,ignoreId);
MIL << whatString << endl;
MIL << "------------------------------------" << endl;
ResolverProblem_Ptr resolverProblem = new ResolverProblem (whatString, detail);
MIL << "------------------------------------" << endl;
}
- if (ignorId > 0) {
+ if (ignoreId > 0) {
// There is a possibility to ignore this error by setting weak dependencies
- PoolItem item = _pool.find (sat::Solvable(ignorId));
+ PoolItem item = _pool.find (sat::Solvable(ignoreId));
ProblemSolutionIgnore *problemSolution = new ProblemSolutionIgnore(resolverProblem, item);
resolverProblem->addSolution (problemSolution,
false); // Solutions will be shown at the end
+ MIL << "Ignore some dependencies of " << item << endl;
+ MIL << "------------------------------------" << endl;
}
// save problem