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