]> git.saurik.com Git - apt.git/blame - apt-pkg/algorithms.cc
* apt-pkg/depcache.cc:
[apt.git] / apt-pkg / algorithms.cc
CommitLineData
6c139d6e
AL
1// -*- mode: cpp; mode: fold -*-
2// Description /*{{{*/
b8c0f9b7 3// $Id: algorithms.cc,v 1.44 2002/11/28 18:49:16 jgg Exp $
6c139d6e
AL
4/* ######################################################################
5
6 Algorithms - A set of misc algorithms
7
0a8e3465
AL
8 The pkgProblemResolver class has become insanely complex and
9 very sophisticated, it handles every test case I have thrown at it
10 to my satisfaction. Understanding exactly why all the steps the class
11 does are required is difficult and changing though not very risky
12 may result in other cases not working.
13
6c139d6e
AL
14 ##################################################################### */
15 /*}}}*/
16// Include Files /*{{{*/
094a497d
AL
17#include <apt-pkg/algorithms.h>
18#include <apt-pkg/error.h>
0a8e3465 19#include <apt-pkg/configuration.h>
0a57c0f0 20#include <apt-pkg/version.h>
b2e465d6 21#include <apt-pkg/sptr.h>
760d4968 22#include <apt-pkg/acquire-item.h>
b2e465d6
AL
23
24#include <apti18n.h>
22dcc318 25#include <sys/types.h>
152ab79e
MV
26#include <cstdlib>
27#include <algorithm>
90f057fd 28#include <iostream>
6c139d6e 29 /*}}}*/
584e4558 30using namespace std;
6c139d6e
AL
31
32pkgProblemResolver *pkgProblemResolver::This = 0;
33
34// Simulate::Simulate - Constructor /*{{{*/
35// ---------------------------------------------------------------------
b2e465d6
AL
36/* The legacy translations here of input Pkg iterators is obsolete,
37 this is not necessary since the pkgCaches are fully shared now. */
38pkgSimulate::pkgSimulate(pkgDepCache *Cache) : pkgPackageManager(Cache),
39 iPolicy(Cache),
496d5c70
MV
40 Sim(&Cache->GetCache(),&iPolicy),
41 group(Sim)
6c139d6e 42{
b2e465d6
AL
43 Sim.Init(0);
44 Flags = new unsigned char[Cache->Head().PackageCount];
45 memset(Flags,0,sizeof(*Flags)*Cache->Head().PackageCount);
281daf46
AL
46
47 // Fake a filename so as not to activate the media swapping
48 string Jnk = "SIMULATE";
b2e465d6 49 for (unsigned int I = 0; I != Cache->Head().PackageCount; I++)
281daf46 50 FileNames[I] = Jnk;
6c139d6e
AL
51}
52 /*}}}*/
b2e465d6
AL
53// Simulate::Describe - Describe a package /*{{{*/
54// ---------------------------------------------------------------------
3826564e
MZ
55/* Parameter Current == true displays the current package version,
56 Parameter Candidate == true displays the candidate package version */
57void pkgSimulate::Describe(PkgIterator Pkg,ostream &out,bool Current,bool Candidate)
b2e465d6
AL
58{
59 VerIterator Ver(Sim);
e59458f7 60
47f6d1b7 61 out << Pkg.FullName(true);
e59458f7 62
3826564e 63 if (Current == true)
e59458f7 64 {
b2e465d6 65 Ver = Pkg.CurrentVer();
e59458f7
AL
66 if (Ver.end() == false)
67 out << " [" << Ver.VerStr() << ']';
68 }
b2e465d6 69
3826564e
MZ
70 if (Candidate == true)
71 {
72 Ver = Sim[Pkg].CandidateVerIter(Sim);
73 if (Ver.end() == true)
74 return;
b2e465d6 75
3826564e
MZ
76 out << " (" << Ver.VerStr() << ' ' << Ver.RelStr() << ')';
77 }
b2e465d6
AL
78}
79 /*}}}*/
6c139d6e
AL
80// Simulate::Install - Simulate unpacking of a package /*{{{*/
81// ---------------------------------------------------------------------
82/* */
83bool pkgSimulate::Install(PkgIterator iPkg,string /*File*/)
84{
85 // Adapt the iterator
803ea2a8 86 PkgIterator Pkg = Sim.FindPkg(iPkg.Name(), iPkg.Arch());
6c139d6e
AL
87 Flags[Pkg->ID] = 1;
88
b2e465d6 89 cout << "Inst ";
3826564e 90 Describe(Pkg,cout,true,true);
6c139d6e 91 Sim.MarkInstall(Pkg,false);
803ea2a8 92
6c139d6e
AL
93 // Look for broken conflicts+predepends.
94 for (PkgIterator I = Sim.PkgBegin(); I.end() == false; I++)
95 {
96 if (Sim[I].InstallVer == 0)
97 continue;
98
b2e465d6
AL
99 for (DepIterator D = Sim[I].InstVerIter(Sim).DependsList(); D.end() == false;)
100 {
101 DepIterator Start;
102 DepIterator End;
103 D.GlobOr(Start,End);
104 if (Start->Type == pkgCache::Dep::Conflicts ||
308c7d30 105 Start->Type == pkgCache::Dep::DpkgBreaks ||
b2e465d6
AL
106 Start->Type == pkgCache::Dep::Obsoletes ||
107 End->Type == pkgCache::Dep::PreDepends)
6c139d6e 108 {
b2e465d6 109 if ((Sim[End] & pkgDepCache::DepGInstall) == 0)
6c139d6e 110 {
47f6d1b7 111 cout << " [" << I.FullName(false) << " on " << Start.TargetPkg().FullName(false) << ']';
b2e465d6 112 if (Start->Type == pkgCache::Dep::Conflicts)
47f6d1b7 113 _error->Error("Fatal, conflicts violated %s",I.FullName(false).c_str());
6c139d6e 114 }
b2e465d6
AL
115 }
116 }
6c139d6e
AL
117 }
118
119 if (Sim.BrokenCount() != 0)
120 ShortBreaks();
121 else
04aa15a8 122 cout << endl;
6c139d6e
AL
123 return true;
124}
125 /*}}}*/
126// Simulate::Configure - Simulate configuration of a Package /*{{{*/
127// ---------------------------------------------------------------------
128/* This is not an acurate simulation of relatity, we should really not
129 install the package.. For some investigations it may be necessary
130 however. */
131bool pkgSimulate::Configure(PkgIterator iPkg)
132{
133 // Adapt the iterator
803ea2a8 134 PkgIterator Pkg = Sim.FindPkg(iPkg.Name(), iPkg.Arch());
6c139d6e
AL
135
136 Flags[Pkg->ID] = 2;
803ea2a8 137
6c139d6e
AL
138 if (Sim[Pkg].InstBroken() == true)
139 {
47f6d1b7 140 cout << "Conf " << Pkg.FullName(false) << " broken" << endl;
6c139d6e
AL
141
142 Sim.Update();
143
144 // Print out each package and the failed dependencies
145 for (pkgCache::DepIterator D = Sim[Pkg].InstVerIter(Sim).DependsList(); D.end() == false; D++)
146 {
147 if (Sim.IsImportantDep(D) == false ||
148 (Sim[D] & pkgDepCache::DepInstall) != 0)
149 continue;
150
b2e465d6 151 if (D->Type == pkgCache::Dep::Obsoletes)
47f6d1b7 152 cout << " Obsoletes:" << D.TargetPkg().FullName(false);
b2e465d6 153 else if (D->Type == pkgCache::Dep::Conflicts)
47f6d1b7 154 cout << " Conflicts:" << D.TargetPkg().FullName(false);
308c7d30 155 else if (D->Type == pkgCache::Dep::DpkgBreaks)
47f6d1b7 156 cout << " Breaks:" << D.TargetPkg().FullName(false);
6c139d6e 157 else
47f6d1b7 158 cout << " Depends:" << D.TargetPkg().FullName(false);
6c139d6e 159 }
04aa15a8 160 cout << endl;
6c139d6e 161
09a10f9c 162 _error->Error("Conf Broken %s",Pkg.FullName(false).c_str());
6c139d6e
AL
163 }
164 else
b2e465d6
AL
165 {
166 cout << "Conf ";
3826564e 167 Describe(Pkg,cout,false,true);
b2e465d6 168 }
6c139d6e
AL
169
170 if (Sim.BrokenCount() != 0)
171 ShortBreaks();
172 else
04aa15a8 173 cout << endl;
6c139d6e
AL
174
175 return true;
176}
177 /*}}}*/
178// Simulate::Remove - Simulate the removal of a package /*{{{*/
179// ---------------------------------------------------------------------
180/* */
fc4b5c9f 181bool pkgSimulate::Remove(PkgIterator iPkg,bool Purge)
6c139d6e
AL
182{
183 // Adapt the iterator
803ea2a8 184 PkgIterator Pkg = Sim.FindPkg(iPkg.Name(), iPkg.Arch());
6c139d6e
AL
185
186 Flags[Pkg->ID] = 3;
187 Sim.MarkDelete(Pkg);
803ea2a8 188
fc4b5c9f 189 if (Purge == true)
b2e465d6 190 cout << "Purg ";
fc4b5c9f 191 else
b2e465d6 192 cout << "Remv ";
3826564e 193 Describe(Pkg,cout,true,false);
6c139d6e
AL
194
195 if (Sim.BrokenCount() != 0)
196 ShortBreaks();
197 else
04aa15a8 198 cout << endl;
6c139d6e
AL
199
200 return true;
201}
202 /*}}}*/
203// Simulate::ShortBreaks - Print out a short line describing all breaks /*{{{*/
204// ---------------------------------------------------------------------
205/* */
206void pkgSimulate::ShortBreaks()
207{
04aa15a8 208 cout << " [";
6c139d6e
AL
209 for (PkgIterator I = Sim.PkgBegin(); I.end() == false; I++)
210 {
211 if (Sim[I].InstBroken() == true)
212 {
213 if (Flags[I->ID] == 0)
47f6d1b7 214 cout << I.FullName(false) << ' ';
6c139d6e 215/* else
04aa15a8 216 cout << I.Name() << "! ";*/
6c139d6e
AL
217 }
218 }
04aa15a8 219 cout << ']' << endl;
6c139d6e
AL
220}
221 /*}}}*/
222// ApplyStatus - Adjust for non-ok packages /*{{{*/
223// ---------------------------------------------------------------------
224/* We attempt to change the state of the all packages that have failed
225 installation toward their real state. The ordering code will perform
226 the necessary calculations to deal with the problems. */
227bool pkgApplyStatus(pkgDepCache &Cache)
228{
74a05226
MV
229 pkgDepCache::ActionGroup group(Cache);
230
6c139d6e
AL
231 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
232 {
e481d5b0
AL
233 if (I->VersionList == 0)
234 continue;
235
d38b7b3d
AL
236 // Only choice for a ReInstReq package is to reinstall
237 if (I->InstState == pkgCache::State::ReInstReq ||
238 I->InstState == pkgCache::State::HoldReInstReq)
239 {
5871718b 240 if (I->CurrentVer != 0 && I.CurrentVer().Downloadable() == true)
74a05226 241 Cache.MarkKeep(I, false, false);
813c8eea
AL
242 else
243 {
244 // Is this right? Will dpkg choke on an upgrade?
2a3f3893
AL
245 if (Cache[I].CandidateVer != 0 &&
246 Cache[I].CandidateVerIter(Cache).Downloadable() == true)
74a05226 247 Cache.MarkInstall(I, false, 0, false);
813c8eea 248 else
b2e465d6 249 return _error->Error(_("The package %s needs to be reinstalled, "
09a10f9c 250 "but I can't find an archive for it."),I.FullName(true).c_str());
813c8eea
AL
251 }
252
d38b7b3d
AL
253 continue;
254 }
255
6c139d6e
AL
256 switch (I->CurrentState)
257 {
813c8eea
AL
258 /* This means installation failed somehow - it does not need to be
259 re-unpacked (probably) */
b518cca6
AL
260 case pkgCache::State::UnPacked:
261 case pkgCache::State::HalfConfigured:
9d06bc80
MV
262 case pkgCache::State::TriggersAwaited:
263 case pkgCache::State::TriggersPending:
5871718b 264 if ((I->CurrentVer != 0 && I.CurrentVer().Downloadable() == true) ||
813c8eea 265 I.State() != pkgCache::PkgIterator::NeedsUnpack)
74a05226 266 Cache.MarkKeep(I, false, false);
813c8eea
AL
267 else
268 {
2a3f3893
AL
269 if (Cache[I].CandidateVer != 0 &&
270 Cache[I].CandidateVerIter(Cache).Downloadable() == true)
74a05226 271 Cache.MarkInstall(I, true, 0, false);
813c8eea
AL
272 else
273 Cache.MarkDelete(I);
274 }
6c139d6e
AL
275 break;
276
277 // This means removal failed
b518cca6 278 case pkgCache::State::HalfInstalled:
6c139d6e
AL
279 Cache.MarkDelete(I);
280 break;
281
282 default:
b518cca6 283 if (I->InstState != pkgCache::State::Ok)
6c139d6e 284 return _error->Error("The package %s is not ok and I "
09a10f9c 285 "don't know how to fix it!",I.FullName(false).c_str());
6c139d6e
AL
286 }
287 }
288 return true;
289}
290 /*}}}*/
291// FixBroken - Fix broken packages /*{{{*/
292// ---------------------------------------------------------------------
0a8e3465
AL
293/* This autoinstalls every broken package and then runs the problem resolver
294 on the result. */
6c139d6e
AL
295bool pkgFixBroken(pkgDepCache &Cache)
296{
74a05226
MV
297 pkgDepCache::ActionGroup group(Cache);
298
6c139d6e
AL
299 // Auto upgrade all broken packages
300 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
301 if (Cache[I].NowBroken() == true)
74a05226 302 Cache.MarkInstall(I, true, 0, false);
7e798dd7 303
6c139d6e
AL
304 /* Fix packages that are in a NeedArchive state but don't have a
305 downloadable install version */
306 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
307 {
308 if (I.State() != pkgCache::PkgIterator::NeedsUnpack ||
309 Cache[I].Delete() == true)
310 continue;
311
b518cca6 312 if (Cache[I].InstVerIter(Cache).Downloadable() == false)
6c139d6e
AL
313 continue;
314
74a05226 315 Cache.MarkInstall(I, true, 0, false);
6c139d6e
AL
316 }
317
b2e465d6 318 pkgProblemResolver Fix(&Cache);
6c139d6e
AL
319 return Fix.Resolve(true);
320}
321 /*}}}*/
322// DistUpgrade - Distribution upgrade /*{{{*/
323// ---------------------------------------------------------------------
324/* This autoinstalls every package and then force installs every
325 pre-existing package. This creates the initial set of conditions which
326 most likely contain problems because too many things were installed.
327
0a8e3465 328 The problem resolver is used to resolve the problems.
6c139d6e
AL
329 */
330bool pkgDistUpgrade(pkgDepCache &Cache)
331{
74a05226
MV
332 pkgDepCache::ActionGroup group(Cache);
333
c427b1e2
DK
334 /* Upgrade all installed packages first without autoinst to help the resolver
335 in versioned or-groups to upgrade the old solver instead of installing
336 a new one (if the old solver is not the first one [anymore]) */
337 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; ++I)
338 if (I->CurrentVer != 0)
339 Cache.MarkInstall(I, false, 0, false);
340
6c139d6e
AL
341 /* Auto upgrade all installed packages, this provides the basis
342 for the installation */
343 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
344 if (I->CurrentVer != 0)
74a05226 345 Cache.MarkInstall(I, true, 0, false);
6c139d6e
AL
346
347 /* Now, auto upgrade all essential packages - this ensures that
348 the essential packages are present and working */
349 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
b518cca6 350 if ((I->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential)
74a05226 351 Cache.MarkInstall(I, true, 0, false);
6c139d6e
AL
352
353 /* We do it again over all previously installed packages to force
354 conflict resolution on them all. */
355 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
356 if (I->CurrentVer != 0)
74a05226 357 Cache.MarkInstall(I, false, 0, false);
6c139d6e 358
b2e465d6 359 pkgProblemResolver Fix(&Cache);
c88edf1d 360
6c139d6e 361 // Hold back held packages.
4490f2de 362 if (_config->FindB("APT::Ignore-Hold",false) == false)
6c139d6e 363 {
c88edf1d 364 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
6c139d6e 365 {
c88edf1d
AL
366 if (I->SelectedState == pkgCache::State::Hold)
367 {
368 Fix.Protect(I);
74a05226 369 Cache.MarkKeep(I, false, false);
c88edf1d 370 }
6c139d6e
AL
371 }
372 }
373
374 return Fix.Resolve();
375}
376 /*}}}*/
0a8e3465
AL
377// AllUpgrade - Upgrade as many packages as possible /*{{{*/
378// ---------------------------------------------------------------------
379/* Right now the system must be consistent before this can be called.
380 It also will not change packages marked for install, it only tries
381 to install packages not marked for install */
382bool pkgAllUpgrade(pkgDepCache &Cache)
383{
74a05226
MV
384 pkgDepCache::ActionGroup group(Cache);
385
b2e465d6 386 pkgProblemResolver Fix(&Cache);
0a8e3465
AL
387
388 if (Cache.BrokenCount() != 0)
389 return false;
390
391 // Upgrade all installed packages
392 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
393 {
394 if (Cache[I].Install() == true)
395 Fix.Protect(I);
396
b2e465d6 397 if (_config->FindB("APT::Ignore-Hold",false) == false)
c88edf1d
AL
398 if (I->SelectedState == pkgCache::State::Hold)
399 continue;
0a8e3465
AL
400
401 if (I->CurrentVer != 0 && Cache[I].InstallVer != 0)
74a05226 402 Cache.MarkInstall(I, false, 0, false);
0a8e3465
AL
403 }
404
405 return Fix.ResolveByKeep();
406}
407 /*}}}*/
7e798dd7
AL
408// MinimizeUpgrade - Minimizes the set of packages to be upgraded /*{{{*/
409// ---------------------------------------------------------------------
410/* This simply goes over the entire set of packages and tries to keep
411 each package marked for upgrade. If a conflict is generated then
412 the package is restored. */
413bool pkgMinimizeUpgrade(pkgDepCache &Cache)
414{
74a05226
MV
415 pkgDepCache::ActionGroup group(Cache);
416
7e798dd7
AL
417 if (Cache.BrokenCount() != 0)
418 return false;
419
abc8419e 420 // We loop for 10 tries to get the minimal set size.
7e798dd7 421 bool Change = false;
a005475e 422 unsigned int Count = 0;
7e798dd7
AL
423 do
424 {
425 Change = false;
426 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
427 {
428 // Not interesting
429 if (Cache[I].Upgrade() == false || Cache[I].NewInstall() == true)
430 continue;
a005475e 431
7e798dd7 432 // Keep it and see if that is OK
74a05226 433 Cache.MarkKeep(I, false, false);
7e798dd7 434 if (Cache.BrokenCount() != 0)
74a05226 435 Cache.MarkInstall(I, false, 0, false);
7e798dd7 436 else
a005475e
AL
437 {
438 // If keep didnt actually do anything then there was no change..
439 if (Cache[I].Upgrade() == false)
440 Change = true;
441 }
7e798dd7 442 }
a005475e 443 Count++;
7e798dd7 444 }
a005475e 445 while (Change == true && Count < 10);
7e798dd7
AL
446
447 if (Cache.BrokenCount() != 0)
448 return _error->Error("Internal Error in pkgMinimizeUpgrade");
449
450 return true;
451}
452 /*}}}*/
6c139d6e
AL
453// ProblemResolver::pkgProblemResolver - Constructor /*{{{*/
454// ---------------------------------------------------------------------
455/* */
b2e465d6 456pkgProblemResolver::pkgProblemResolver(pkgDepCache *pCache) : Cache(*pCache)
6c139d6e
AL
457{
458 // Allocate memory
b2e465d6 459 unsigned long Size = Cache.Head().PackageCount;
6c139d6e
AL
460 Scores = new signed short[Size];
461 Flags = new unsigned char[Size];
462 memset(Flags,0,sizeof(*Flags)*Size);
463
464 // Set debug to true to see its decision logic
0a8e3465 465 Debug = _config->FindB("Debug::pkgProblemResolver",false);
6c139d6e
AL
466}
467 /*}}}*/
b2e465d6
AL
468// ProblemResolver::~pkgProblemResolver - Destructor /*{{{*/
469// ---------------------------------------------------------------------
470/* */
471pkgProblemResolver::~pkgProblemResolver()
472{
473 delete [] Scores;
474 delete [] Flags;
475}
476 /*}}}*/
6c139d6e
AL
477// ProblemResolver::ScoreSort - Sort the list by score /*{{{*/
478// ---------------------------------------------------------------------
479/* */
480int pkgProblemResolver::ScoreSort(const void *a,const void *b)
481{
482 Package const **A = (Package const **)a;
483 Package const **B = (Package const **)b;
484 if (This->Scores[(*A)->ID] > This->Scores[(*B)->ID])
485 return -1;
486 if (This->Scores[(*A)->ID] < This->Scores[(*B)->ID])
487 return 1;
488 return 0;
489}
490 /*}}}*/
491// ProblemResolver::MakeScores - Make the score table /*{{{*/
492// ---------------------------------------------------------------------
493/* */
494void pkgProblemResolver::MakeScores()
495{
b2e465d6 496 unsigned long Size = Cache.Head().PackageCount;
6c139d6e
AL
497 memset(Scores,0,sizeof(*Scores)*Size);
498
8b4894fe
MV
499 // Important Required Standard Optional Extra
500 signed short PrioMap[] = {
501 0,
5e5d2064
DK
502 (signed short) _config->FindI("pkgProblemResolver::Scores::Important",3),
503 (signed short) _config->FindI("pkgProblemResolver::Scores::Required",2),
504 (signed short) _config->FindI("pkgProblemResolver::Scores::Standard",1),
505 (signed short) _config->FindI("pkgProblemResolver::Scores::Optional",-1),
506 (signed short) _config->FindI("pkgProblemResolver::Scores::Extra",-2)
8b4894fe
MV
507 };
508 signed short PrioEssentials = _config->FindI("pkgProblemResolver::Scores::Essentials",100);
509 signed short PrioInstalledAndNotObsolete = _config->FindI("pkgProblemResolver::Scores::NotObsolete",1);
510 signed short PrioDepends = _config->FindI("pkgProblemResolver::Scores::Depends",1);
53391d0f 511 signed short PrioRecommends = _config->FindI("pkgProblemResolver::Scores::Recommends",1);
8b4894fe
MV
512 signed short AddProtected = _config->FindI("pkgProblemResolver::Scores::AddProtected",10000);
513 signed short AddEssential = _config->FindI("pkgProblemResolver::Scores::AddEssential",5000);
514
515 if (_config->FindB("Debug::pkgProblemResolver::ShowScores",false) == true)
516 clog << "Settings used to calculate pkgProblemResolver::Scores::" << endl
517 << " Important => " << PrioMap[1] << endl
518 << " Required => " << PrioMap[2] << endl
519 << " Standard => " << PrioMap[3] << endl
520 << " Optional => " << PrioMap[4] << endl
521 << " Extra => " << PrioMap[5] << endl
522 << " Essentials => " << PrioEssentials << endl
523 << " InstalledAndNotObsolete => " << PrioInstalledAndNotObsolete << endl
524 << " Depends => " << PrioDepends << endl
53391d0f 525 << " Recommends => " << PrioRecommends << endl
8b4894fe
MV
526 << " AddProtected => " << AddProtected << endl
527 << " AddEssential => " << AddEssential << endl;
528
6c139d6e
AL
529 // Generate the base scores for a package based on its properties
530 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
531 {
532 if (Cache[I].InstallVer == 0)
533 continue;
534
535 signed short &Score = Scores[I->ID];
536
7365ff46 537 /* This is arbitrary, it should be high enough to elevate an
6c139d6e
AL
538 essantial package above most other packages but low enough
539 to allow an obsolete essential packages to be removed by
540 a conflicts on a powerfull normal package (ie libc6) */
b518cca6 541 if ((I->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential)
8b4894fe 542 Score += PrioEssentials;
6c139d6e
AL
543
544 // We transform the priority
6c139d6e
AL
545 if (Cache[I].InstVerIter(Cache)->Priority <= 5)
546 Score += PrioMap[Cache[I].InstVerIter(Cache)->Priority];
547
548 /* This helps to fix oddball problems with conflicting packages
4172c784
MV
549 on the same level. We enhance the score of installed packages
550 if those are not obsolete
551 */
020daa7b 552 if (I->CurrentVer != 0 && Cache[I].CandidateVer != 0 && Cache[I].CandidateVerIter(Cache).Downloadable())
8b4894fe 553 Score += PrioInstalledAndNotObsolete;
6c139d6e
AL
554 }
555
556 // Now that we have the base scores we go and propogate dependencies
557 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
558 {
559 if (Cache[I].InstallVer == 0)
560 continue;
561
562 for (pkgCache::DepIterator D = Cache[I].InstVerIter(Cache).DependsList(); D.end() == false; D++)
563 {
3a998f6a 564 if (D->Type == pkgCache::Dep::Depends ||
53391d0f
MV
565 D->Type == pkgCache::Dep::PreDepends)
566 Scores[D.TargetPkg()->ID] += PrioDepends;
567 else if (D->Type == pkgCache::Dep::Recommends)
568 Scores[D.TargetPkg()->ID] += PrioRecommends;
6c139d6e
AL
569 }
570 }
571
572 // Copy the scores to advoid additive looping
b2e465d6 573 SPtrArray<signed short> OldScores = new signed short[Size];
6c139d6e
AL
574 memcpy(OldScores,Scores,sizeof(*Scores)*Size);
575
576 /* Now we cause 1 level of dependency inheritance, that is we add the
577 score of the packages that depend on the target Package. This
578 fortifies high scoring packages */
579 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
580 {
581 if (Cache[I].InstallVer == 0)
582 continue;
583
584 for (pkgCache::DepIterator D = I.RevDependsList(); D.end() == false; D++)
585 {
586 // Only do it for the install version
587 if ((pkgCache::Version *)D.ParentVer() != Cache[D.ParentPkg()].InstallVer ||
3a998f6a
MV
588 (D->Type != pkgCache::Dep::Depends &&
589 D->Type != pkgCache::Dep::PreDepends &&
590 D->Type != pkgCache::Dep::Recommends))
6c139d6e
AL
591 continue;
592
593 Scores[I->ID] += abs(OldScores[D.ParentPkg()->ID]);
594 }
595 }
596
597 /* Now we propogate along provides. This makes the packages that
598 provide important packages extremely important */
599 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
600 {
601 for (pkgCache::PrvIterator P = I.ProvidesList(); P.end() == false; P++)
602 {
603 // Only do it once per package
604 if ((pkgCache::Version *)P.OwnerVer() != Cache[P.OwnerPkg()].InstallVer)
605 continue;
606 Scores[P.OwnerPkg()->ID] += abs(Scores[I->ID] - OldScores[I->ID]);
607 }
608 }
609
610 /* Protected things are pushed really high up. This number should put them
611 ahead of everything */
612 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
d2685fd6 613 {
6c139d6e 614 if ((Flags[I->ID] & Protected) != 0)
8b4894fe 615 Scores[I->ID] += AddProtected;
d2685fd6 616 if ((I->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential)
8b4894fe
MV
617 Scores[I->ID] += AddEssential;
618 }
6c139d6e
AL
619}
620 /*}}}*/
621// ProblemResolver::DoUpgrade - Attempt to upgrade this package /*{{{*/
622// ---------------------------------------------------------------------
623/* This goes through and tries to reinstall packages to make this package
624 installable */
625bool pkgProblemResolver::DoUpgrade(pkgCache::PkgIterator Pkg)
626{
74a05226
MV
627 pkgDepCache::ActionGroup group(Cache);
628
6c139d6e
AL
629 if ((Flags[Pkg->ID] & Upgradable) == 0 || Cache[Pkg].Upgradable() == false)
630 return false;
3a486305
AL
631 if ((Flags[Pkg->ID] & Protected) == Protected)
632 return false;
0a8e3465 633
6c139d6e
AL
634 Flags[Pkg->ID] &= ~Upgradable;
635
636 bool WasKept = Cache[Pkg].Keep();
74a05226 637 Cache.MarkInstall(Pkg, false, 0, false);
6c139d6e 638
0a8e3465
AL
639 // This must be a virtual package or something like that.
640 if (Cache[Pkg].InstVerIter(Cache).end() == true)
641 return false;
642
6c139d6e
AL
643 // Isolate the problem dependency
644 bool Fail = false;
645 for (pkgCache::DepIterator D = Cache[Pkg].InstVerIter(Cache).DependsList(); D.end() == false;)
646 {
647 // Compute a single dependency element (glob or)
648 pkgCache::DepIterator Start = D;
649 pkgCache::DepIterator End = D;
650 unsigned char State = 0;
4b1b89c5 651 for (bool LastOR = true; D.end() == false && LastOR == true;)
6c139d6e
AL
652 {
653 State |= Cache[D];
b518cca6 654 LastOR = (D->CompareOp & pkgCache::Dep::Or) == pkgCache::Dep::Or;
4b1b89c5 655 D++;
6c139d6e
AL
656 if (LastOR == true)
657 End = D;
658 }
659
660 // We only worry about critical deps.
661 if (End.IsCritical() != true)
662 continue;
4b1b89c5
AL
663
664 // Iterate over all the members in the or group
665 while (1)
0a8e3465 666 {
4b1b89c5
AL
667 // Dep is ok now
668 if ((Cache[End] & pkgDepCache::DepGInstall) == pkgDepCache::DepGInstall)
669 break;
670
671 // Do not change protected packages
672 PkgIterator P = Start.SmartTargetPkg();
673 if ((Flags[P->ID] & Protected) == Protected)
674 {
675 if (Debug == true)
47f6d1b7 676 clog << " Reinst Failed because of protected " << P.FullName(false) << endl;
4b1b89c5 677 Fail = true;
4b1b89c5 678 }
648e3cb4 679 else
6c139d6e 680 {
648e3cb4
AL
681 // Upgrade the package if the candidate version will fix the problem.
682 if ((Cache[Start] & pkgDepCache::DepCVer) == pkgDepCache::DepCVer)
683 {
684 if (DoUpgrade(P) == false)
685 {
686 if (Debug == true)
47f6d1b7 687 clog << " Reinst Failed because of " << P.FullName(false) << endl;
648e3cb4
AL
688 Fail = true;
689 }
690 else
691 {
692 Fail = false;
693 break;
694 }
695 }
696 else
4b1b89c5 697 {
648e3cb4
AL
698 /* We let the algorithm deal with conflicts on its next iteration,
699 it is much smarter than us */
b2e465d6 700 if (Start->Type == pkgCache::Dep::Conflicts ||
308c7d30 701 Start->Type == pkgCache::Dep::DpkgBreaks ||
b2e465d6
AL
702 Start->Type == pkgCache::Dep::Obsoletes)
703 break;
648e3cb4 704
4b1b89c5 705 if (Debug == true)
47f6d1b7 706 clog << " Reinst Failed early because of " << Start.TargetPkg().FullName(false) << endl;
4b1b89c5 707 Fail = true;
648e3cb4 708 }
4b1b89c5 709 }
6c139d6e 710
4b1b89c5
AL
711 if (Start == End)
712 break;
713 Start++;
714 }
715 if (Fail == true)
6c139d6e 716 break;
6c139d6e
AL
717 }
718
719 // Undo our operations - it might be smart to undo everything this did..
720 if (Fail == true)
721 {
722 if (WasKept == true)
74a05226 723 Cache.MarkKeep(Pkg, false, false);
6c139d6e
AL
724 else
725 Cache.MarkDelete(Pkg);
726 return false;
727 }
728
729 if (Debug == true)
47f6d1b7 730 clog << " Re-Instated " << Pkg.FullName(false) << endl;
6c139d6e
AL
731 return true;
732}
733 /*}}}*/
734// ProblemResolver::Resolve - Run the resolution pass /*{{{*/
735// ---------------------------------------------------------------------
736/* This routines works by calculating a score for each package. The score
737 is derived by considering the package's priority and all reverse
738 dependents giving an integer that reflects the amount of breakage that
739 adjusting the package will inflict.
740
741 It goes from highest score to lowest and corrects all of the breaks by
742 keeping or removing the dependant packages. If that fails then it removes
743 the package itself and goes on. The routine should be able to intelligently
744 go from any broken state to a fixed state.
745
746 The BrokenFix flag enables a mode where the algorithm tries to
747 upgrade packages to advoid problems. */
748bool pkgProblemResolver::Resolve(bool BrokenFix)
749{
74a05226
MV
750 pkgDepCache::ActionGroup group(Cache);
751
b2e465d6 752 unsigned long Size = Cache.Head().PackageCount;
6c139d6e
AL
753
754 // Record which packages are marked for install
755 bool Again = false;
756 do
757 {
758 Again = false;
759 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
760 {
761 if (Cache[I].Install() == true)
762 Flags[I->ID] |= PreInstalled;
763 else
764 {
765 if (Cache[I].InstBroken() == true && BrokenFix == true)
766 {
74a05226 767 Cache.MarkInstall(I, false, 0, false);
6c139d6e
AL
768 if (Cache[I].Install() == true)
769 Again = true;
770 }
771
772 Flags[I->ID] &= ~PreInstalled;
773 }
774 Flags[I->ID] |= Upgradable;
775 }
776 }
777 while (Again == true);
778
779 if (Debug == true)
0a8e3465 780 clog << "Starting" << endl;
6c139d6e
AL
781
782 MakeScores();
783
784 /* We have to order the packages so that the broken fixing pass
785 operates from highest score to lowest. This prevents problems when
786 high score packages cause the removal of lower score packages that
787 would cause the removal of even lower score packages. */
b2e465d6 788 SPtrArray<pkgCache::Package *> PList = new pkgCache::Package *[Size];
6c139d6e
AL
789 pkgCache::Package **PEnd = PList;
790 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
791 *PEnd++ = I;
792 This = this;
793 qsort(PList,PEnd - PList,sizeof(*PList),&ScoreSort);
8b4894fe
MV
794
795 if (_config->FindB("Debug::pkgProblemResolver::ShowScores",false) == true)
796 {
797 clog << "Show Scores" << endl;
798 for (pkgCache::Package **K = PList; K != PEnd; K++)
799 if (Scores[(*K)->ID] != 0)
800 {
801 pkgCache::PkgIterator Pkg(Cache,*K);
802 clog << Scores[(*K)->ID] << ' ' << Pkg << std::endl;
803 }
804 }
6c139d6e
AL
805
806 if (Debug == true)
0a8e3465 807 clog << "Starting 2" << endl;
8b4894fe 808
6c139d6e
AL
809 /* Now consider all broken packages. For each broken package we either
810 remove the package or fix it's problem. We do this once, it should
811 not be possible for a loop to form (that is a < b < c and fixing b by
812 changing a breaks c) */
813 bool Change = true;
09a10f9c 814 bool const TryFixByInstall = _config->FindB("pkgProblemResolver::FixByInstall", true);
6c139d6e
AL
815 for (int Counter = 0; Counter != 10 && Change == true; Counter++)
816 {
817 Change = false;
818 for (pkgCache::Package **K = PList; K != PEnd; K++)
819 {
820 pkgCache::PkgIterator I(Cache,*K);
821
822 /* We attempt to install this and see if any breaks result,
823 this takes care of some strange cases */
824 if (Cache[I].CandidateVer != Cache[I].InstallVer &&
825 I->CurrentVer != 0 && Cache[I].InstallVer != 0 &&
826 (Flags[I->ID] & PreInstalled) != 0 &&
0a8e3465
AL
827 (Flags[I->ID] & Protected) == 0 &&
828 (Flags[I->ID] & ReInstateTried) == 0)
6c139d6e
AL
829 {
830 if (Debug == true)
09a10f9c 831 clog << " Try to Re-Instate (" << Counter << ") " << I.FullName(false) << endl;
a6568219 832 unsigned long OldBreaks = Cache.BrokenCount();
6c139d6e 833 pkgCache::Version *OldVer = Cache[I].InstallVer;
0a8e3465
AL
834 Flags[I->ID] &= ReInstateTried;
835
74a05226 836 Cache.MarkInstall(I, false, 0, false);
6c139d6e
AL
837 if (Cache[I].InstBroken() == true ||
838 OldBreaks < Cache.BrokenCount())
839 {
840 if (OldVer == 0)
841 Cache.MarkDelete(I);
842 else
74a05226 843 Cache.MarkKeep(I, false, false);
6c139d6e
AL
844 }
845 else
846 if (Debug == true)
47f6d1b7 847 clog << "Re-Instated " << I.FullName(false) << " (" << OldBreaks << " vs " << Cache.BrokenCount() << ')' << endl;
6c139d6e
AL
848 }
849
850 if (Cache[I].InstallVer == 0 || Cache[I].InstBroken() == false)
851 continue;
852
00b47c98 853 if (Debug == true)
09a10f9c 854 clog << "Investigating (" << Counter << ") " << I << endl;
00b47c98 855
6c139d6e
AL
856 // Isolate the problem dependency
857 PackageKill KillList[100];
858 PackageKill *LEnd = KillList;
421c8d10
AL
859 bool InOr = false;
860 pkgCache::DepIterator Start;
861 pkgCache::DepIterator End;
b2e465d6 862 PackageKill *OldEnd = LEnd;
648e3cb4
AL
863
864 enum {OrRemove,OrKeep} OrOp = OrRemove;
421c8d10
AL
865 for (pkgCache::DepIterator D = Cache[I].InstVerIter(Cache).DependsList();
866 D.end() == false || InOr == true;)
6c139d6e
AL
867 {
868 // Compute a single dependency element (glob or)
648e3cb4
AL
869 if (Start == End)
870 {
871 // Decide what to do
09a10f9c 872 if (InOr == true && OldEnd == LEnd)
648e3cb4 873 {
09a10f9c 874 if (OrOp == OrRemove)
70777d4b
AL
875 {
876 if ((Flags[I->ID] & Protected) != Protected)
00b47c98
AL
877 {
878 if (Debug == true)
47f6d1b7 879 clog << " Or group remove for " << I.FullName(false) << endl;
70777d4b 880 Cache.MarkDelete(I);
cd14eaf2 881 Change = true;
09a10f9c
DK
882 }
883 }
884 else if (OrOp == OrKeep)
00b47c98
AL
885 {
886 if (Debug == true)
47f6d1b7 887 clog << " Or group keep for " << I.FullName(false) << endl;
74a05226 888 Cache.MarkKeep(I, false, false);
cd14eaf2 889 Change = true;
b2e465d6 890 }
648e3cb4
AL
891 }
892
b2e465d6
AL
893 /* We do an extra loop (as above) to finalize the or group
894 processing */
895 InOr = false;
648e3cb4 896 OrOp = OrRemove;
421c8d10 897 D.GlobOr(Start,End);
b2e465d6
AL
898 if (Start.end() == true)
899 break;
cd14eaf2 900
b2e465d6
AL
901 // We only worry about critical deps.
902 if (End.IsCritical() != true)
903 continue;
cd14eaf2 904
648e3cb4
AL
905 InOr = Start != End;
906 OldEnd = LEnd;
cd14eaf2 907 }
421c8d10 908 else
4cc152f9 909 {
421c8d10 910 Start++;
4cc152f9
MV
911 // We only worry about critical deps.
912 if (Start.IsCritical() != true)
913 continue;
914 }
cd14eaf2 915
6c139d6e
AL
916 // Dep is ok
917 if ((Cache[End] & pkgDepCache::DepGInstall) == pkgDepCache::DepGInstall)
cd14eaf2
AL
918 {
919 InOr = false;
6c139d6e 920 continue;
cd14eaf2
AL
921 }
922
6c139d6e 923 if (Debug == true)
47f6d1b7 924 clog << "Broken " << Start << endl;
fcf85120
AL
925
926 /* Look across the version list. If there are no possible
927 targets then we keep the package and bail. This is necessary
928 if a package has a dep on another package that cant be found */
b2e465d6 929 SPtrArray<pkgCache::Version *> VList = Start.AllTargets();
fcf85120 930 if (*VList == 0 && (Flags[I->ID] & Protected) != Protected &&
648e3cb4 931 Start->Type != pkgCache::Dep::Conflicts &&
308c7d30 932 Start->Type != pkgCache::Dep::DpkgBreaks &&
b2e465d6 933 Start->Type != pkgCache::Dep::Obsoletes &&
fcf85120 934 Cache[I].NowBroken() == false)
648e3cb4
AL
935 {
936 if (InOr == true)
937 {
938 /* No keep choice because the keep being OK could be the
939 result of another element in the OR group! */
940 continue;
941 }
942
fcf85120 943 Change = true;
74a05226 944 Cache.MarkKeep(I, false, false);
fcf85120
AL
945 break;
946 }
947
6c139d6e
AL
948 bool Done = false;
949 for (pkgCache::Version **V = VList; *V != 0; V++)
950 {
951 pkgCache::VerIterator Ver(Cache,*V);
952 pkgCache::PkgIterator Pkg = Ver.ParentPkg();
a6bfe583 953
2ba99db8
MV
954 /* This is a conflicts, and the version we are looking
955 at is not the currently selected version of the
956 package, which means it is not necessary to
957 remove/keep */
958 if (Cache[Pkg].InstallVer != Ver &&
959 (Start->Type == pkgCache::Dep::Conflicts ||
960 Start->Type == pkgCache::Dep::DpkgBreaks ||
961 Start->Type == pkgCache::Dep::Obsoletes))
4429616b 962 {
2ba99db8
MV
963 if (Debug)
964 clog << " Conflicts//Breaks against version "
965 << Ver.VerStr() << " for " << Pkg.Name()
966 << " but that is not InstVer, ignoring"
24e93662 967 << endl;
2ba99db8 968 continue;
4429616b
MV
969 }
970
6c139d6e 971 if (Debug == true)
47f6d1b7
DK
972 clog << " Considering " << Pkg.FullName(false) << ' ' << (int)Scores[Pkg->ID] <<
973 " as a solution to " << I.FullName(false) << ' ' << (int)Scores[I->ID] << endl;
a6bfe583
AL
974
975 /* Try to fix the package under consideration rather than
976 fiddle with the VList package */
6c139d6e 977 if (Scores[I->ID] <= Scores[Pkg->ID] ||
421c8d10 978 ((Cache[Start] & pkgDepCache::DepNow) == 0 &&
b2e465d6 979 End->Type != pkgCache::Dep::Conflicts &&
308c7d30 980 End->Type != pkgCache::Dep::DpkgBreaks &&
b2e465d6 981 End->Type != pkgCache::Dep::Obsoletes))
6c139d6e 982 {
200f8c52 983 // Try a little harder to fix protected packages..
3b5421b4 984 if ((Flags[I->ID] & Protected) == Protected)
200f8c52
AL
985 {
986 if (DoUpgrade(Pkg) == true)
0296c633 987 {
b2e465d6
AL
988 if (Scores[Pkg->ID] > Scores[I->ID])
989 Scores[Pkg->ID] = Scores[I->ID];
0296c633
AL
990 break;
991 }
992
6c139d6e 993 continue;
200f8c52
AL
994 }
995
996 /* See if a keep will do, unless the package is protected,
648e3cb4
AL
997 then installing it will be necessary */
998 bool Installed = Cache[I].Install();
74a05226 999 Cache.MarkKeep(I, false, false);
6c139d6e
AL
1000 if (Cache[I].InstBroken() == false)
1001 {
648e3cb4
AL
1002 // Unwind operation will be keep now
1003 if (OrOp == OrRemove)
1004 OrOp = OrKeep;
1005
1006 // Restore
1007 if (InOr == true && Installed == true)
74a05226 1008 Cache.MarkInstall(I, false, 0, false);
648e3cb4 1009
6c139d6e 1010 if (Debug == true)
47f6d1b7 1011 clog << " Holding Back " << I.FullName(false) << " rather than change " << Start.TargetPkg().FullName(false) << endl;
6c139d6e
AL
1012 }
1013 else
421c8d10 1014 {
6c139d6e
AL
1015 if (BrokenFix == false || DoUpgrade(I) == false)
1016 {
421c8d10
AL
1017 // Consider other options
1018 if (InOr == false)
1019 {
6910a2ac 1020 if (Debug == true)
47f6d1b7 1021 clog << " Removing " << I.FullName(false) << " rather than change " << Start.TargetPkg().FullName(false) << endl;
6910a2ac
DK
1022 Cache.MarkDelete(I);
1023 if (Counter > 1 && Scores[Pkg->ID] > Scores[I->ID])
1024 Scores[I->ID] = Scores[Pkg->ID];
d6ebeb21 1025 }
09a10f9c
DK
1026 else if (TryFixByInstall == true &&
1027 Start.TargetPkg()->CurrentVer == 0 &&
1028 Cache[Start.TargetPkg()].Delete() == false &&
a3f1a6cc 1029 (Flags[Start.TargetPkg()->ID] & ToRemove) != ToRemove &&
09a10f9c
DK
1030 Cache.GetCandidateVer(Start.TargetPkg()).end() == false)
1031 {
1032 /* Before removing or keeping the package with the broken dependency
1033 try instead to install the first not previously installed package
1034 solving this dependency. This helps every time a previous solver
1035 is removed by the resolver because of a conflict or alike but it is
1036 dangerous as it could trigger new breaks/conflicts… */
443266ef
DK
1037 if (Debug == true)
1038 clog << " Try Installing " << Start.TargetPkg() << " before changing " << I.FullName(false) << std::endl;
09a10f9c
DK
1039 unsigned long const OldBroken = Cache.BrokenCount();
1040 Cache.MarkInstall(Start.TargetPkg(), true, 1, false);
1041 // FIXME: we should undo the complete MarkInstall process here
1042 if (Cache[Start.TargetPkg()].InstBroken() == true || Cache.BrokenCount() > OldBroken)
1043 Cache.MarkDelete(Start.TargetPkg(), false, 1, false);
1044 }
0a8e3465 1045 }
6c139d6e 1046 }
b5dc9785 1047
6c139d6e
AL
1048 Change = true;
1049 Done = true;
1050 break;
1051 }
1052 else
1053 {
308c7d30
IJ
1054 if (Start->Type == pkgCache::Dep::DpkgBreaks)
1055 {
76264cb7
MV
1056 // first, try upgradring the package, if that
1057 // does not help, the breaks goes onto the
1058 // kill list
2ba99db8 1059 //
76264cb7 1060 // FIXME: use DoUpgrade(Pkg) instead?
2ba99db8 1061 if (Cache[End] & pkgDepCache::DepGCVer)
76264cb7 1062 {
308c7d30 1063 if (Debug)
47f6d1b7 1064 clog << " Upgrading " << Pkg.FullName(false) << " due to Breaks field in " << I.FullName(false) << endl;
308c7d30
IJ
1065 Cache.MarkInstall(Pkg, false, 0, false);
1066 continue;
1067 }
308c7d30
IJ
1068 }
1069
648e3cb4 1070 // Skip adding to the kill list if it is protected
6c139d6e
AL
1071 if ((Flags[Pkg->ID] & Protected) != 0)
1072 continue;
a6bfe583
AL
1073
1074 if (Debug == true)
47f6d1b7 1075 clog << " Added " << Pkg.FullName(false) << " to the remove list" << endl;
6c139d6e
AL
1076
1077 LEnd->Pkg = Pkg;
1078 LEnd->Dep = End;
1079 LEnd++;
0a8e3465 1080
b2e465d6
AL
1081 if (Start->Type != pkgCache::Dep::Conflicts &&
1082 Start->Type != pkgCache::Dep::Obsoletes)
6c139d6e
AL
1083 break;
1084 }
1085 }
1086
1087 // Hm, nothing can possibly satisify this dep. Nuke it.
b2e465d6
AL
1088 if (VList[0] == 0 &&
1089 Start->Type != pkgCache::Dep::Conflicts &&
308c7d30 1090 Start->Type != pkgCache::Dep::DpkgBreaks &&
b2e465d6 1091 Start->Type != pkgCache::Dep::Obsoletes &&
648e3cb4 1092 (Flags[I->ID] & Protected) != Protected)
6c139d6e 1093 {
648e3cb4 1094 bool Installed = Cache[I].Install();
6c139d6e
AL
1095 Cache.MarkKeep(I);
1096 if (Cache[I].InstBroken() == false)
1097 {
648e3cb4
AL
1098 // Unwind operation will be keep now
1099 if (OrOp == OrRemove)
1100 OrOp = OrKeep;
1101
1102 // Restore
1103 if (InOr == true && Installed == true)
74a05226 1104 Cache.MarkInstall(I, false, 0, false);
648e3cb4 1105
6c139d6e 1106 if (Debug == true)
47f6d1b7 1107 clog << " Holding Back " << I.FullName(false) << " because I can't find " << Start.TargetPkg().FullName(false) << endl;
6c139d6e
AL
1108 }
1109 else
1110 {
1111 if (Debug == true)
47f6d1b7 1112 clog << " Removing " << I.FullName(false) << " because I can't find " << Start.TargetPkg().FullName(false) << endl;
648e3cb4
AL
1113 if (InOr == false)
1114 Cache.MarkDelete(I);
6c139d6e
AL
1115 }
1116
1117 Change = true;
1118 Done = true;
1119 }
1120
421c8d10
AL
1121 // Try some more
1122 if (InOr == true)
1123 continue;
1124
6c139d6e
AL
1125 if (Done == true)
1126 break;
1127 }
1128
1129 // Apply the kill list now
1130 if (Cache[I].InstallVer != 0)
648e3cb4 1131 {
6c139d6e 1132 for (PackageKill *J = KillList; J != LEnd; J++)
6c139d6e 1133 {
648e3cb4
AL
1134 Change = true;
1135 if ((Cache[J->Dep] & pkgDepCache::DepGNow) == 0)
1136 {
b2e465d6 1137 if (J->Dep->Type == pkgCache::Dep::Conflicts ||
76264cb7 1138 J->Dep->Type == pkgCache::Dep::DpkgBreaks ||
b2e465d6 1139 J->Dep->Type == pkgCache::Dep::Obsoletes)
648e3cb4
AL
1140 {
1141 if (Debug == true)
47f6d1b7 1142 clog << " Fixing " << I.FullName(false) << " via remove of " << J->Pkg.FullName(false) << endl;
648e3cb4
AL
1143 Cache.MarkDelete(J->Pkg);
1144 }
1145 }
1146 else
6c139d6e
AL
1147 {
1148 if (Debug == true)
47f6d1b7 1149 clog << " Fixing " << I.FullName(false) << " via keep of " << J->Pkg.FullName(false) << endl;
74a05226 1150 Cache.MarkKeep(J->Pkg, false, false);
6c139d6e 1151 }
b2e465d6 1152
648e3cb4 1153 if (Counter > 1)
b2e465d6
AL
1154 {
1155 if (Scores[I->ID] > Scores[J->Pkg->ID])
1156 Scores[J->Pkg->ID] = Scores[I->ID];
1157 }
648e3cb4
AL
1158 }
1159 }
1160 }
6c139d6e
AL
1161 }
1162
1163 if (Debug == true)
0a8e3465 1164 clog << "Done" << endl;
b2e465d6 1165
6c139d6e 1166 if (Cache.BrokenCount() != 0)
b5dc9785
AL
1167 {
1168 // See if this is the result of a hold
1169 pkgCache::PkgIterator I = Cache.PkgBegin();
1170 for (;I.end() != true; I++)
1171 {
1172 if (Cache[I].InstBroken() == false)
1173 continue;
1174 if ((Flags[I->ID] & Protected) != Protected)
b2e465d6 1175 return _error->Error(_("Error, pkgProblemResolver::Resolve generated breaks, this may be caused by held packages."));
b5dc9785 1176 }
b2e465d6 1177 return _error->Error(_("Unable to correct problems, you have held broken packages."));
b5dc9785
AL
1178 }
1179
fce72602 1180 // set the auto-flags (mvo: I'm not sure if we _really_ need this)
80fa0d8a
MV
1181 pkgCache::PkgIterator I = Cache.PkgBegin();
1182 for (;I.end() != true; I++) {
1183 if (Cache[I].NewInstall() && !(Flags[I->ID] & PreInstalled)) {
120365ce 1184 if(_config->FindI("Debug::pkgAutoRemove",false)) {
47f6d1b7 1185 std::clog << "Resolve installed new pkg: " << I.FullName(false)
120365ce
MV
1186 << " (now marking it as auto)" << std::endl;
1187 }
80fa0d8a
MV
1188 Cache[I].Flags |= pkgCache::Flag::Auto;
1189 }
1190 }
1191
1192
0a8e3465
AL
1193 return true;
1194}
1195 /*}}}*/
1196// ProblemResolver::ResolveByKeep - Resolve problems using keep /*{{{*/
1197// ---------------------------------------------------------------------
1198/* This is the work horse of the soft upgrade routine. It is very gental
1199 in that it does not install or remove any packages. It is assumed that the
1200 system was non-broken previously. */
1201bool pkgProblemResolver::ResolveByKeep()
1202{
74a05226
MV
1203 pkgDepCache::ActionGroup group(Cache);
1204
b2e465d6 1205 unsigned long Size = Cache.Head().PackageCount;
0a8e3465 1206
0a8e3465
AL
1207 MakeScores();
1208
1209 /* We have to order the packages so that the broken fixing pass
1210 operates from highest score to lowest. This prevents problems when
1211 high score packages cause the removal of lower score packages that
1212 would cause the removal of even lower score packages. */
1213 pkgCache::Package **PList = new pkgCache::Package *[Size];
1214 pkgCache::Package **PEnd = PList;
1215 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
1216 *PEnd++ = I;
1217 This = this;
1218 qsort(PList,PEnd - PList,sizeof(*PList),&ScoreSort);
8b4894fe
MV
1219
1220 if (_config->FindB("Debug::pkgProblemResolver::ShowScores",false) == true)
1221 {
1222 clog << "Show Scores" << endl;
1223 for (pkgCache::Package **K = PList; K != PEnd; K++)
1224 if (Scores[(*K)->ID] != 0)
1225 {
1226 pkgCache::PkgIterator Pkg(Cache,*K);
1227 clog << Scores[(*K)->ID] << ' ' << Pkg << std::endl;
1228 }
1229 }
1230
1231 if (Debug == true)
1232 clog << "Entering ResolveByKeep" << endl;
1233
0a8e3465
AL
1234 // Consider each broken package
1235 pkgCache::Package **LastStop = 0;
1236 for (pkgCache::Package **K = PList; K != PEnd; K++)
1237 {
1238 pkgCache::PkgIterator I(Cache,*K);
1239
1240 if (Cache[I].InstallVer == 0 || Cache[I].InstBroken() == false)
1241 continue;
1242
1243 /* Keep the package. If this works then great, otherwise we have
b2e465d6 1244 to be significantly more agressive and manipulate its dependencies */
0a8e3465
AL
1245 if ((Flags[I->ID] & Protected) == 0)
1246 {
1247 if (Debug == true)
47f6d1b7 1248 clog << "Keeping package " << I.FullName(false) << endl;
74a05226 1249 Cache.MarkKeep(I, false, false);
0a8e3465
AL
1250 if (Cache[I].InstBroken() == false)
1251 {
b2e465d6 1252 K = PList - 1;
0a8e3465
AL
1253 continue;
1254 }
1255 }
1256
1257 // Isolate the problem dependencies
1258 for (pkgCache::DepIterator D = Cache[I].InstVerIter(Cache).DependsList(); D.end() == false;)
1259 {
c5532863
AL
1260 DepIterator Start;
1261 DepIterator End;
1262 D.GlobOr(Start,End);
1263
0a8e3465
AL
1264 // We only worry about critical deps.
1265 if (End.IsCritical() != true)
1266 continue;
1267
1268 // Dep is ok
1269 if ((Cache[End] & pkgDepCache::DepGInstall) == pkgDepCache::DepGInstall)
1270 continue;
c5532863
AL
1271
1272 /* Hm, the group is broken.. I suppose the best thing to do is to
1273 is to try every combination of keep/not-keep for the set, but thats
1274 slow, and this never happens, just be conservative and assume the
1275 list of ors is in preference and keep till it starts to work. */
1276 while (true)
0a8e3465 1277 {
c5532863 1278 if (Debug == true)
47f6d1b7 1279 clog << "Package " << I.FullName(false) << " " << Start << endl;
8b4894fe 1280
c5532863
AL
1281 // Look at all the possible provides on this package
1282 SPtrArray<pkgCache::Version *> VList = Start.AllTargets();
1283 for (pkgCache::Version **V = VList; *V != 0; V++)
0a8e3465 1284 {
c5532863
AL
1285 pkgCache::VerIterator Ver(Cache,*V);
1286 pkgCache::PkgIterator Pkg = Ver.ParentPkg();
1287
1288 // It is not keepable
1289 if (Cache[Pkg].InstallVer == 0 ||
1290 Pkg->CurrentVer == 0)
1291 continue;
1292
1293 if ((Flags[I->ID] & Protected) == 0)
1294 {
1295 if (Debug == true)
47f6d1b7 1296 clog << " Keeping Package " << Pkg.FullName(false) << " due to " << Start.DepType() << endl;
74a05226 1297 Cache.MarkKeep(Pkg, false, false);
c5532863
AL
1298 }
1299
1300 if (Cache[I].InstBroken() == false)
1301 break;
0a8e3465
AL
1302 }
1303
1304 if (Cache[I].InstBroken() == false)
1305 break;
0a8e3465 1306
c5532863
AL
1307 if (Start == End)
1308 break;
1309 Start++;
1310 }
1311
0a8e3465
AL
1312 if (Cache[I].InstBroken() == false)
1313 break;
1314 }
1315
1316 if (Cache[I].InstBroken() == true)
1317 continue;
1318
1319 // Restart again.
1320 if (K == LastStop)
09a10f9c 1321 return _error->Error("Internal Error, pkgProblemResolver::ResolveByKeep is looping on package %s.",I.FullName(false).c_str());
0a8e3465 1322 LastStop = K;
b2e465d6 1323 K = PList - 1;
0a8e3465 1324 }
6c139d6e
AL
1325
1326 return true;
1327}
1328 /*}}}*/
3b5421b4
AL
1329// ProblemResolver::InstallProtect - Install all protected packages /*{{{*/
1330// ---------------------------------------------------------------------
1331/* This is used to make sure protected packages are installed */
1332void pkgProblemResolver::InstallProtect()
1333{
74a05226
MV
1334 pkgDepCache::ActionGroup group(Cache);
1335
3b5421b4
AL
1336 for (pkgCache::PkgIterator I = Cache.PkgBegin(); I.end() == false; I++)
1337 {
1338 if ((Flags[I->ID] & Protected) == Protected)
1339 {
1340 if ((Flags[I->ID] & ToRemove) == ToRemove)
1341 Cache.MarkDelete(I);
c15f5690
MV
1342 else
1343 {
da543ed8
OS
1344 // preserve the information whether the package was auto
1345 // or manually installed
c15f5690
MV
1346 bool autoInst = (Cache[I].Flags & pkgCache::Flag::Auto);
1347 Cache.MarkInstall(I, false, 0, !autoInst);
1348 }
3b5421b4
AL
1349 }
1350 }
1351}
1352 /*}}}*/
b2e465d6
AL
1353// PrioSortList - Sort a list of versions by priority /*{{{*/
1354// ---------------------------------------------------------------------
1355/* This is ment to be used in conjunction with AllTargets to get a list
1356 of versions ordered by preference. */
1357static pkgCache *PrioCache;
1358static int PrioComp(const void *A,const void *B)
1359{
1360 pkgCache::VerIterator L(*PrioCache,*(pkgCache::Version **)A);
1361 pkgCache::VerIterator R(*PrioCache,*(pkgCache::Version **)B);
1362
1363 if ((L.ParentPkg()->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential &&
b8c0f9b7
AL
1364 (R.ParentPkg()->Flags & pkgCache::Flag::Essential) != pkgCache::Flag::Essential)
1365 return 1;
b2e465d6 1366 if ((L.ParentPkg()->Flags & pkgCache::Flag::Essential) != pkgCache::Flag::Essential &&
b8c0f9b7
AL
1367 (R.ParentPkg()->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential)
1368 return -1;
b2e465d6
AL
1369
1370 if (L->Priority != R->Priority)
b8c0f9b7 1371 return R->Priority - L->Priority;
b2e465d6
AL
1372 return strcmp(L.ParentPkg().Name(),R.ParentPkg().Name());
1373}
1374void pkgPrioSortList(pkgCache &Cache,pkgCache::Version **List)
1375{
1376 unsigned long Count = 0;
1377 PrioCache = &Cache;
1378 for (pkgCache::Version **I = List; *I != 0; I++)
1379 Count++;
1380 qsort(List,Count,sizeof(*List),PrioComp);
1381}
1382 /*}}}*/
760d4968
MV
1383// CacheFile::ListUpdate - update the cache files /*{{{*/
1384// ---------------------------------------------------------------------
1385/* This is a simple wrapper to update the cache. it will fetch stuff
1386 * from the network (or any other sources defined in sources.list)
1387 */
1388bool ListUpdate(pkgAcquireStatus &Stat,
1389 pkgSourceList &List,
1390 int PulseInterval)
1391{
1392 pkgAcquire::RunResult res;
1cd1c398
DK
1393 pkgAcquire Fetcher;
1394 if (Fetcher.Setup(&Stat, _config->FindDir("Dir::State::Lists")) == false)
1395 return false;
760d4968
MV
1396
1397 // Populate it with the source selection
1398 if (List.GetIndexes(&Fetcher) == false)
1399 return false;
1400
1401 // Run scripts
1402 RunScripts("APT::Update::Pre-Invoke");
1403
1404 // check arguments
1405 if(PulseInterval>0)
1406 res = Fetcher.Run(PulseInterval);
1407 else
1408 res = Fetcher.Run();
1409
1410 if (res == pkgAcquire::Failed)
1411 return false;
1412
1413 bool Failed = false;
1414 bool TransientNetworkFailure = false;
1415 for (pkgAcquire::ItemIterator I = Fetcher.ItemsBegin();
1416 I != Fetcher.ItemsEnd(); I++)
1417 {
1418 if ((*I)->Status == pkgAcquire::Item::StatDone)
1419 continue;
1420
1421 (*I)->Finished();
1422
70b3d263
MV
1423 ::URI uri((*I)->DescURI());
1424 uri.User.clear();
1425 uri.Password.clear();
1426 string descUri = string(uri);
4805f1cf 1427 _error->Warning(_("Failed to fetch %s %s\n"), descUri.c_str(),
760d4968
MV
1428 (*I)->ErrorText.c_str());
1429
1430 if ((*I)->Status == pkgAcquire::Item::StatTransientNetworkError)
1431 {
1432 TransientNetworkFailure = true;
1433 continue;
1434 }
1435
1436 Failed = true;
1437 }
1438
1439 // Clean out any old list files
1440 // Keep "APT::Get::List-Cleanup" name for compatibility, but
1441 // this is really a global option for the APT library now
1442 if (!TransientNetworkFailure && !Failed &&
b7c5ca8c 1443 (_config->FindB("APT::Get::List-Cleanup",true) == true &&
760d4968
MV
1444 _config->FindB("APT::List-Cleanup",true) == true))
1445 {
1446 if (Fetcher.Clean(_config->FindDir("Dir::State::lists")) == false ||
1447 Fetcher.Clean(_config->FindDir("Dir::State::lists") + "partial/") == false)
1448 // something went wrong with the clean
1449 return false;
1450 }
1451
1452 if (TransientNetworkFailure == true)
196c511c 1453 _error->Warning(_("Some index files failed to download. They have been ignored, or old ones used instead."));
760d4968 1454 else if (Failed == true)
196c511c 1455 return _error->Error(_("Some index files failed to download. They have been ignored, or old ones used instead."));
760d4968
MV
1456
1457
e06c72cd
MV
1458 // Run the success scripts if all was fine
1459 if(!TransientNetworkFailure && !Failed)
1460 RunScripts("APT::Update::Post-Invoke-Success");
1461
1462 // Run the other scripts
760d4968
MV
1463 RunScripts("APT::Update::Post-Invoke");
1464 return true;
1465}
1466 /*}}}*/