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