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