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