1 // -*- mode: cpp; mode: fold -*-
3 // $Id: algorithms.cc,v 1.44 2002/11/28 18:49:16 jgg Exp $
4 /* ######################################################################
6 Algorithms - A set of misc algorithms
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.
14 ##################################################################### */
16 // Include Files /*{{{*/
19 #include <apt-pkg/algorithms.h>
20 #include <apt-pkg/error.h>
21 #include <apt-pkg/configuration.h>
22 #include <apt-pkg/version.h>
23 #include <apt-pkg/sptr.h>
24 #include <apt-pkg/acquire-item.h>
25 #include <apt-pkg/edsp.h>
26 #include <apt-pkg/sourcelist.h>
27 #include <apt-pkg/fileutl.h>
28 #include <apt-pkg/progress.h>
30 #include <sys/types.h>
40 pkgProblemResolver
*pkgProblemResolver::This
= 0;
42 // Simulate::Simulate - Constructor /*{{{*/
43 // ---------------------------------------------------------------------
44 /* The legacy translations here of input Pkg iterators is obsolete,
45 this is not necessary since the pkgCaches are fully shared now. */
46 pkgSimulate::pkgSimulate(pkgDepCache
*Cache
) : pkgPackageManager(Cache
),
48 Sim(&Cache
->GetCache(),&iPolicy
),
52 Flags
= new unsigned char[Cache
->Head().PackageCount
];
53 memset(Flags
,0,sizeof(*Flags
)*Cache
->Head().PackageCount
);
55 // Fake a filename so as not to activate the media swapping
56 string Jnk
= "SIMULATE";
57 for (unsigned int I
= 0; I
!= Cache
->Head().PackageCount
; I
++)
61 // Simulate::~Simulate - Destructor /*{{{*/
62 pkgSimulate::~pkgSimulate()
67 // Simulate::Describe - Describe a package /*{{{*/
68 // ---------------------------------------------------------------------
69 /* Parameter Current == true displays the current package version,
70 Parameter Candidate == true displays the candidate package version */
71 void pkgSimulate::Describe(PkgIterator Pkg
,ostream
&out
,bool Current
,bool Candidate
)
75 out
<< Pkg
.FullName(true);
79 Ver
= Pkg
.CurrentVer();
80 if (Ver
.end() == false)
81 out
<< " [" << Ver
.VerStr() << ']';
84 if (Candidate
== true)
86 Ver
= Sim
[Pkg
].CandidateVerIter(Sim
);
87 if (Ver
.end() == true)
90 out
<< " (" << Ver
.VerStr() << ' ' << Ver
.RelStr() << ')';
94 // Simulate::Install - Simulate unpacking of a package /*{{{*/
95 // ---------------------------------------------------------------------
97 bool pkgSimulate::Install(PkgIterator iPkg
,string
/*File*/)
100 PkgIterator Pkg
= Sim
.FindPkg(iPkg
.Name(), iPkg
.Arch());
104 Describe(Pkg
,cout
,true,true);
105 Sim
.MarkInstall(Pkg
,false);
107 // Look for broken conflicts+predepends.
108 for (PkgIterator I
= Sim
.PkgBegin(); I
.end() == false; ++I
)
110 if (Sim
[I
].InstallVer
== 0)
113 for (DepIterator D
= Sim
[I
].InstVerIter(Sim
).DependsList(); D
.end() == false;)
118 if (Start
.IsNegative() == true ||
119 End
->Type
== pkgCache::Dep::PreDepends
)
121 if ((Sim
[End
] & pkgDepCache::DepGInstall
) == 0)
123 cout
<< " [" << I
.FullName(false) << " on " << Start
.TargetPkg().FullName(false) << ']';
124 if (Start
->Type
== pkgCache::Dep::Conflicts
)
125 _error
->Error("Fatal, conflicts violated %s",I
.FullName(false).c_str());
131 if (Sim
.BrokenCount() != 0)
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
143 bool pkgSimulate::Configure(PkgIterator iPkg
)
145 // Adapt the iterator
146 PkgIterator Pkg
= Sim
.FindPkg(iPkg
.Name(), iPkg
.Arch());
150 if (Sim
[Pkg
].InstBroken() == true)
152 cout
<< "Conf " << Pkg
.FullName(false) << " broken" << endl
;
156 // Print out each package and the failed dependencies
157 for (pkgCache::DepIterator D
= Sim
[Pkg
].InstVerIter(Sim
).DependsList(); D
.end() == false; ++D
)
159 if (Sim
.IsImportantDep(D
) == false ||
160 (Sim
[D
] & pkgDepCache::DepInstall
) != 0)
163 if (D
->Type
== pkgCache::Dep::Obsoletes
)
164 cout
<< " Obsoletes:" << D
.TargetPkg().FullName(false);
165 else if (D
->Type
== pkgCache::Dep::Conflicts
)
166 cout
<< " Conflicts:" << D
.TargetPkg().FullName(false);
167 else if (D
->Type
== pkgCache::Dep::DpkgBreaks
)
168 cout
<< " Breaks:" << D
.TargetPkg().FullName(false);
170 cout
<< " Depends:" << D
.TargetPkg().FullName(false);
174 _error
->Error("Conf Broken %s",Pkg
.FullName(false).c_str());
179 Describe(Pkg
,cout
,false,true);
182 if (Sim
.BrokenCount() != 0)
190 // Simulate::Remove - Simulate the removal of a package /*{{{*/
191 // ---------------------------------------------------------------------
193 bool pkgSimulate::Remove(PkgIterator iPkg
,bool Purge
)
195 // Adapt the iterator
196 PkgIterator Pkg
= Sim
.FindPkg(iPkg
.Name(), iPkg
.Arch());
197 if (Pkg
.end() == true)
199 std::cerr
<< (Purge
? "Purg" : "Remv") << " invalid package " << iPkg
.FullName() << std::endl
;
210 Describe(Pkg
,cout
,true,false);
212 if (Sim
.BrokenCount() != 0)
220 // Simulate::ShortBreaks - Print out a short line describing all breaks /*{{{*/
221 // ---------------------------------------------------------------------
223 void pkgSimulate::ShortBreaks()
226 for (PkgIterator I
= Sim
.PkgBegin(); I
.end() == false; ++I
)
228 if (Sim
[I
].InstBroken() == true)
230 if (Flags
[I
->ID
] == 0)
231 cout
<< I
.FullName(false) << ' ';
233 cout << I.Name() << "! ";*/
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. */
244 bool pkgApplyStatus(pkgDepCache
&Cache
)
246 pkgDepCache::ActionGroup
group(Cache
);
248 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; ++I
)
250 if (I
->VersionList
== 0)
253 // Only choice for a ReInstReq package is to reinstall
254 if (I
->InstState
== pkgCache::State::ReInstReq
||
255 I
->InstState
== pkgCache::State::HoldReInstReq
)
257 if (I
->CurrentVer
!= 0 && I
.CurrentVer().Downloadable() == true)
258 Cache
.MarkKeep(I
, false, false);
261 // Is this right? Will dpkg choke on an upgrade?
262 if (Cache
[I
].CandidateVer
!= 0 &&
263 Cache
[I
].CandidateVerIter(Cache
).Downloadable() == true)
264 Cache
.MarkInstall(I
, false, 0, false);
266 return _error
->Error(_("The package %s needs to be reinstalled, "
267 "but I can't find an archive for it."),I
.FullName(true).c_str());
273 switch (I
->CurrentState
)
275 /* This means installation failed somehow - it does not need to be
276 re-unpacked (probably) */
277 case pkgCache::State::UnPacked
:
278 case pkgCache::State::HalfConfigured
:
279 case pkgCache::State::TriggersAwaited
:
280 case pkgCache::State::TriggersPending
:
281 if ((I
->CurrentVer
!= 0 && I
.CurrentVer().Downloadable() == true) ||
282 I
.State() != pkgCache::PkgIterator::NeedsUnpack
)
283 Cache
.MarkKeep(I
, false, false);
286 if (Cache
[I
].CandidateVer
!= 0 &&
287 Cache
[I
].CandidateVerIter(Cache
).Downloadable() == true)
288 Cache
.MarkInstall(I
, true, 0, false);
290 Cache
.MarkDelete(I
, false, 0, false);
294 // This means removal failed
295 case pkgCache::State::HalfInstalled
:
296 Cache
.MarkDelete(I
, false, 0, false);
300 if (I
->InstState
!= pkgCache::State::Ok
)
301 return _error
->Error("The package %s is not ok and I "
302 "don't know how to fix it!",I
.FullName(false).c_str());
308 // FixBroken - Fix broken packages /*{{{*/
309 // ---------------------------------------------------------------------
310 /* This autoinstalls every broken package and then runs the problem resolver
312 bool pkgFixBroken(pkgDepCache
&Cache
)
314 pkgDepCache::ActionGroup
group(Cache
);
316 // Auto upgrade all broken packages
317 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; ++I
)
318 if (Cache
[I
].NowBroken() == true)
319 Cache
.MarkInstall(I
, true, 0, false);
321 /* Fix packages that are in a NeedArchive state but don't have a
322 downloadable install version */
323 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; ++I
)
325 if (I
.State() != pkgCache::PkgIterator::NeedsUnpack
||
326 Cache
[I
].Delete() == true)
329 if (Cache
[I
].InstVerIter(Cache
).Downloadable() == false)
332 Cache
.MarkInstall(I
, true, 0, false);
335 pkgProblemResolver
Fix(&Cache
);
336 return Fix
.Resolve(true);
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.
345 The problem resolver is used to resolve the problems.
347 bool pkgDistUpgrade(pkgDepCache
&Cache
)
349 std::string
const solver
= _config
->Find("APT::Solver", "internal");
350 if (solver
!= "internal") {
351 OpTextProgress
Prog(*_config
);
352 return EDSP::ResolveExternal(solver
.c_str(), Cache
, false, true, false, &Prog
);
355 pkgDepCache::ActionGroup
group(Cache
);
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);
364 /* Auto upgrade all installed packages, this provides the basis
365 for the installation */
366 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; ++I
)
367 if (I
->CurrentVer
!= 0)
368 Cache
.MarkInstall(I
, true, 0, false);
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")
375 for (pkgCache::GrpIterator G
= Cache
.GrpBegin(); G
.end() == false; ++G
)
377 bool isEssential
= false;
378 bool instEssential
= false;
379 for (pkgCache::PkgIterator P
= G
.PackageList(); P
.end() == false; P
= G
.NextPkg(P
))
381 if ((P
->Flags
& pkgCache::Flag::Essential
) != pkgCache::Flag::Essential
)
384 if (Cache
[P
].Install() == true)
386 instEssential
= true;
390 if (isEssential
== false || instEssential
== true)
392 pkgCache::PkgIterator P
= G
.FindPreferredPkg();
393 Cache
.MarkInstall(P
, true, 0, false);
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);
401 /* We do it again over all previously installed packages to force
402 conflict resolution on them all. */
403 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; ++I
)
404 if (I
->CurrentVer
!= 0)
405 Cache
.MarkInstall(I
, false, 0, false);
407 pkgProblemResolver
Fix(&Cache
);
409 // Hold back held packages.
410 if (_config
->FindB("APT::Ignore-Hold",false) == false)
412 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; ++I
)
414 if (I
->SelectedState
== pkgCache::State::Hold
)
417 Cache
.MarkKeep(I
, false, false);
422 return Fix
.Resolve();
425 // AllUpgradeNoNewPackages - Upgrade but no removals or new pkgs /*{{{*/
426 bool pkgAllUpgradeNoNewPackages(pkgDepCache
&Cache
)
428 std::string
const solver
= _config
->Find("APT::Solver", "internal");
429 if (solver
!= "internal") {
430 OpTextProgress
Prog(*_config
);
431 return EDSP::ResolveExternal(solver
.c_str(), Cache
, true, false, false, &Prog
);
434 pkgDepCache::ActionGroup
group(Cache
);
436 pkgProblemResolver
Fix(&Cache
);
438 if (Cache
.BrokenCount() != 0)
441 // Upgrade all installed packages
442 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; ++I
)
444 if (Cache
[I
].Install() == true)
447 if (_config
->FindB("APT::Ignore-Hold",false) == false)
448 if (I
->SelectedState
== pkgCache::State::Hold
)
451 if (I
->CurrentVer
!= 0 && Cache
[I
].InstallVer
!= 0)
452 Cache
.MarkInstall(I
, false, 0, false);
455 return Fix
.ResolveByKeep();
458 // AllUpgradeWithNewInstalls - Upgrade + install new packages as needed /*{{{*/
459 // ---------------------------------------------------------------------
460 /* Right now the system must be consistent before this can be called.
461 * Upgrade as much as possible without deleting anything (useful for
464 bool pkgAllUpgradeWithNewPackages(pkgDepCache
&Cache
)
466 pkgDepCache::ActionGroup
group(Cache
);
468 pkgProblemResolver
Fix(&Cache
);
470 if (Cache
.BrokenCount() != 0)
473 // provide the initial set of stuff we want to upgrade by marking
474 // all upgradable packages for upgrade
475 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; ++I
)
477 if (I
->CurrentVer
!= 0 && Cache
[I
].InstallVer
!= 0)
479 if (_config
->FindB("APT::Ignore-Hold",false) == false)
480 if (I
->SelectedState
== pkgCache::State::Hold
)
483 Cache
.MarkInstall(I
, false, 0, false);
487 // then let auto-install loose
488 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; ++I
)
489 if (Cache
[I
].Install())
490 Cache
.MarkInstall(I
, true, 0, false);
492 // ... but it may remove stuff, we we need to clean up afterwards again
493 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; ++I
)
494 if (Cache
[I
].Delete() == true)
495 Cache
.MarkKeep(I
, false, false);
497 // resolve remaining issues via keep
498 return Fix
.ResolveByKeep();
501 // AllUpgrade - Upgrade as many packages as possible /*{{{*/
502 // ---------------------------------------------------------------------
503 /* Right now the system must be consistent before this can be called.
504 It also will not change packages marked for install, it only tries
505 to install packages not marked for install */
506 bool pkgAllUpgrade(pkgDepCache
&Cache
)
508 return pkgAllUpgradeNoNewPackages(Cache
);
511 // MinimizeUpgrade - Minimizes the set of packages to be upgraded /*{{{*/
512 // ---------------------------------------------------------------------
513 /* This simply goes over the entire set of packages and tries to keep
514 each package marked for upgrade. If a conflict is generated then
515 the package is restored. */
516 bool pkgMinimizeUpgrade(pkgDepCache
&Cache
)
518 pkgDepCache::ActionGroup
group(Cache
);
520 if (Cache
.BrokenCount() != 0)
523 // We loop for 10 tries to get the minimal set size.
525 unsigned int Count
= 0;
529 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; ++I
)
532 if (Cache
[I
].Upgrade() == false || Cache
[I
].NewInstall() == true)
535 // Keep it and see if that is OK
536 Cache
.MarkKeep(I
, false, false);
537 if (Cache
.BrokenCount() != 0)
538 Cache
.MarkInstall(I
, false, 0, false);
541 // If keep didnt actually do anything then there was no change..
542 if (Cache
[I
].Upgrade() == false)
548 while (Change
== true && Count
< 10);
550 if (Cache
.BrokenCount() != 0)
551 return _error
->Error("Internal Error in pkgMinimizeUpgrade");
556 // APT::Upgrade::Upgrade - Upgrade using a specific strategy /*{{{*/
557 bool APT::Upgrade::Upgrade(pkgDepCache
&Cache
, int mode
)
561 return pkgDistUpgrade(Cache
);
563 else if ((mode
& ~FORBID_REMOVE_PACKAGES
) == 0)
565 return pkgAllUpgradeWithNewPackages(Cache
);
567 else if ((mode
& ~(FORBID_REMOVE_PACKAGES
|FORBID_NEW_INSTALL_PACKAGES
)) == 0)
569 return pkgAllUpgradeNoNewPackages(Cache
);
572 _error
->Error("pkgAllUpgrade called with unsupported mode %i", mode
);
577 // ProblemResolver::pkgProblemResolver - Constructor /*{{{*/
578 // ---------------------------------------------------------------------
580 pkgProblemResolver::pkgProblemResolver(pkgDepCache
*pCache
) : d(NULL
), Cache(*pCache
)
583 unsigned long Size
= Cache
.Head().PackageCount
;
584 Scores
= new int[Size
];
585 Flags
= new unsigned char[Size
];
586 memset(Flags
,0,sizeof(*Flags
)*Size
);
588 // Set debug to true to see its decision logic
589 Debug
= _config
->FindB("Debug::pkgProblemResolver",false);
592 // ProblemResolver::~pkgProblemResolver - Destructor /*{{{*/
593 // ---------------------------------------------------------------------
595 pkgProblemResolver::~pkgProblemResolver()
601 // ProblemResolver::ScoreSort - Sort the list by score /*{{{*/
602 // ---------------------------------------------------------------------
604 int pkgProblemResolver::ScoreSort(const void *a
,const void *b
)
606 Package
const **A
= (Package
const **)a
;
607 Package
const **B
= (Package
const **)b
;
608 if (This
->Scores
[(*A
)->ID
] > This
->Scores
[(*B
)->ID
])
610 if (This
->Scores
[(*A
)->ID
] < This
->Scores
[(*B
)->ID
])
615 // ProblemResolver::MakeScores - Make the score table /*{{{*/
616 // ---------------------------------------------------------------------
618 void pkgProblemResolver::MakeScores()
620 unsigned long Size
= Cache
.Head().PackageCount
;
621 memset(Scores
,0,sizeof(*Scores
)*Size
);
623 // maps to pkgCache::State::VerPriority:
624 // Required Important Standard Optional Extra
627 _config
->FindI("pkgProblemResolver::Scores::Required",3),
628 _config
->FindI("pkgProblemResolver::Scores::Important",2),
629 _config
->FindI("pkgProblemResolver::Scores::Standard",1),
630 _config
->FindI("pkgProblemResolver::Scores::Optional",-1),
631 _config
->FindI("pkgProblemResolver::Scores::Extra",-2)
633 int PrioEssentials
= _config
->FindI("pkgProblemResolver::Scores::Essentials",100);
634 int PrioInstalledAndNotObsolete
= _config
->FindI("pkgProblemResolver::Scores::NotObsolete",1);
635 int PrioDepends
= _config
->FindI("pkgProblemResolver::Scores::Depends",1);
636 int PrioRecommends
= _config
->FindI("pkgProblemResolver::Scores::Recommends",1);
637 int AddProtected
= _config
->FindI("pkgProblemResolver::Scores::AddProtected",10000);
638 int AddEssential
= _config
->FindI("pkgProblemResolver::Scores::AddEssential",5000);
640 if (_config
->FindB("Debug::pkgProblemResolver::ShowScores",false) == true)
641 clog
<< "Settings used to calculate pkgProblemResolver::Scores::" << endl
642 << " Required => " << PrioMap
[pkgCache::State::Required
] << endl
643 << " Important => " << PrioMap
[pkgCache::State::Important
] << endl
644 << " Standard => " << PrioMap
[pkgCache::State::Standard
] << endl
645 << " Optional => " << PrioMap
[pkgCache::State::Optional
] << endl
646 << " Extra => " << PrioMap
[pkgCache::State::Extra
] << endl
647 << " Essentials => " << PrioEssentials
<< endl
648 << " InstalledAndNotObsolete => " << PrioInstalledAndNotObsolete
<< endl
649 << " Depends => " << PrioDepends
<< endl
650 << " Recommends => " << PrioRecommends
<< endl
651 << " AddProtected => " << AddProtected
<< endl
652 << " AddEssential => " << AddEssential
<< endl
;
654 // Generate the base scores for a package based on its properties
655 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; ++I
)
657 if (Cache
[I
].InstallVer
== 0)
660 int &Score
= Scores
[I
->ID
];
662 /* This is arbitrary, it should be high enough to elevate an
663 essantial package above most other packages but low enough
664 to allow an obsolete essential packages to be removed by
665 a conflicts on a powerfull normal package (ie libc6) */
666 if ((I
->Flags
& pkgCache::Flag::Essential
) == pkgCache::Flag::Essential
667 || (I
->Flags
& pkgCache::Flag::Important
) == pkgCache::Flag::Important
)
668 Score
+= PrioEssentials
;
670 // We transform the priority
671 if (Cache
[I
].InstVerIter(Cache
)->Priority
<= 5)
672 Score
+= PrioMap
[Cache
[I
].InstVerIter(Cache
)->Priority
];
674 /* This helps to fix oddball problems with conflicting packages
675 on the same level. We enhance the score of installed packages
676 if those are not obsolete
678 if (I
->CurrentVer
!= 0 && Cache
[I
].CandidateVer
!= 0 && Cache
[I
].CandidateVerIter(Cache
).Downloadable())
679 Score
+= PrioInstalledAndNotObsolete
;
682 // Now that we have the base scores we go and propogate dependencies
683 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; ++I
)
685 if (Cache
[I
].InstallVer
== 0)
688 for (pkgCache::DepIterator D
= Cache
[I
].InstVerIter(Cache
).DependsList(); D
.end() == false; ++D
)
690 if (D
->Type
== pkgCache::Dep::Depends
||
691 D
->Type
== pkgCache::Dep::PreDepends
)
692 Scores
[D
.TargetPkg()->ID
] += PrioDepends
;
693 else if (D
->Type
== pkgCache::Dep::Recommends
)
694 Scores
[D
.TargetPkg()->ID
] += PrioRecommends
;
698 // Copy the scores to advoid additive looping
699 SPtrArray
<int> OldScores
= new int[Size
];
700 memcpy(OldScores
,Scores
,sizeof(*Scores
)*Size
);
702 /* Now we cause 1 level of dependency inheritance, that is we add the
703 score of the packages that depend on the target Package. This
704 fortifies high scoring packages */
705 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; ++I
)
707 if (Cache
[I
].InstallVer
== 0)
710 for (pkgCache::DepIterator D
= I
.RevDependsList(); D
.end() == false; ++D
)
712 // Only do it for the install version
713 if ((pkgCache::Version
*)D
.ParentVer() != Cache
[D
.ParentPkg()].InstallVer
||
714 (D
->Type
!= pkgCache::Dep::Depends
&&
715 D
->Type
!= pkgCache::Dep::PreDepends
&&
716 D
->Type
!= pkgCache::Dep::Recommends
))
719 // Do not propagate negative scores otherwise
720 // an extra (-2) package might score better than an optional (-1)
721 if (OldScores
[D
.ParentPkg()->ID
] > 0)
722 Scores
[I
->ID
] += OldScores
[D
.ParentPkg()->ID
];
726 /* Now we propogate along provides. This makes the packages that
727 provide important packages extremely important */
728 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; ++I
)
730 for (pkgCache::PrvIterator P
= I
.ProvidesList(); P
.end() == false; ++P
)
732 // Only do it once per package
733 if ((pkgCache::Version
*)P
.OwnerVer() != Cache
[P
.OwnerPkg()].InstallVer
)
735 Scores
[P
.OwnerPkg()->ID
] += abs(Scores
[I
->ID
] - OldScores
[I
->ID
]);
739 /* Protected things are pushed really high up. This number should put them
740 ahead of everything */
741 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; ++I
)
743 if ((Flags
[I
->ID
] & Protected
) != 0)
744 Scores
[I
->ID
] += AddProtected
;
745 if ((I
->Flags
& pkgCache::Flag::Essential
) == pkgCache::Flag::Essential
||
746 (I
->Flags
& pkgCache::Flag::Important
) == pkgCache::Flag::Important
)
747 Scores
[I
->ID
] += AddEssential
;
751 // ProblemResolver::DoUpgrade - Attempt to upgrade this package /*{{{*/
752 // ---------------------------------------------------------------------
753 /* This goes through and tries to reinstall packages to make this package
755 bool pkgProblemResolver::DoUpgrade(pkgCache::PkgIterator Pkg
)
757 pkgDepCache::ActionGroup
group(Cache
);
759 if ((Flags
[Pkg
->ID
] & Upgradable
) == 0 || Cache
[Pkg
].Upgradable() == false)
761 if ((Flags
[Pkg
->ID
] & Protected
) == Protected
)
764 Flags
[Pkg
->ID
] &= ~Upgradable
;
766 bool WasKept
= Cache
[Pkg
].Keep();
767 Cache
.MarkInstall(Pkg
, false, 0, false);
769 // This must be a virtual package or something like that.
770 if (Cache
[Pkg
].InstVerIter(Cache
).end() == true)
773 // Isolate the problem dependency
775 for (pkgCache::DepIterator D
= Cache
[Pkg
].InstVerIter(Cache
).DependsList(); D
.end() == false;)
777 // Compute a single dependency element (glob or)
778 pkgCache::DepIterator Start
= D
;
779 pkgCache::DepIterator End
= D
;
780 for (bool LastOR
= true; D
.end() == false && LastOR
== true;)
782 LastOR
= (D
->CompareOp
& pkgCache::Dep::Or
) == pkgCache::Dep::Or
;
788 // We only worry about critical deps.
789 if (End
.IsCritical() != true)
792 // Iterate over all the members in the or group
796 if ((Cache
[End
] & pkgDepCache::DepGInstall
) == pkgDepCache::DepGInstall
)
799 // Do not change protected packages
800 PkgIterator P
= Start
.SmartTargetPkg();
801 if ((Flags
[P
->ID
] & Protected
) == Protected
)
804 clog
<< " Reinst Failed because of protected " << P
.FullName(false) << endl
;
809 // Upgrade the package if the candidate version will fix the problem.
810 if ((Cache
[Start
] & pkgDepCache::DepCVer
) == pkgDepCache::DepCVer
)
812 if (DoUpgrade(P
) == false)
815 clog
<< " Reinst Failed because of " << P
.FullName(false) << endl
;
826 /* We let the algorithm deal with conflicts on its next iteration,
827 it is much smarter than us */
828 if (Start
.IsNegative() == true)
832 clog
<< " Reinst Failed early because of " << Start
.TargetPkg().FullName(false) << endl
;
845 // Undo our operations - it might be smart to undo everything this did..
849 Cache
.MarkKeep(Pkg
, false, false);
851 Cache
.MarkDelete(Pkg
, false, 0, false);
856 clog
<< " Re-Instated " << Pkg
.FullName(false) << endl
;
860 // ProblemResolver::Resolve - calls a resolver to fix the situation /*{{{*/
861 // ---------------------------------------------------------------------
863 bool pkgProblemResolver::Resolve(bool BrokenFix
)
865 std::string
const solver
= _config
->Find("APT::Solver", "internal");
866 if (solver
!= "internal") {
867 OpTextProgress
Prog(*_config
);
868 return EDSP::ResolveExternal(solver
.c_str(), Cache
, false, false, false, &Prog
);
870 return ResolveInternal(BrokenFix
);
873 // ProblemResolver::ResolveInternal - Run the resolution pass /*{{{*/
874 // ---------------------------------------------------------------------
875 /* This routines works by calculating a score for each package. The score
876 is derived by considering the package's priority and all reverse
877 dependents giving an integer that reflects the amount of breakage that
878 adjusting the package will inflict.
880 It goes from highest score to lowest and corrects all of the breaks by
881 keeping or removing the dependant packages. If that fails then it removes
882 the package itself and goes on. The routine should be able to intelligently
883 go from any broken state to a fixed state.
885 The BrokenFix flag enables a mode where the algorithm tries to
886 upgrade packages to advoid problems. */
887 bool pkgProblemResolver::ResolveInternal(bool const BrokenFix
)
889 pkgDepCache::ActionGroup
group(Cache
);
891 // Record which packages are marked for install
896 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; ++I
)
898 if (Cache
[I
].Install() == true)
899 Flags
[I
->ID
] |= PreInstalled
;
902 if (Cache
[I
].InstBroken() == true && BrokenFix
== true)
904 Cache
.MarkInstall(I
, false, 0, false);
905 if (Cache
[I
].Install() == true)
909 Flags
[I
->ID
] &= ~PreInstalled
;
911 Flags
[I
->ID
] |= Upgradable
;
914 while (Again
== true);
917 clog
<< "Starting pkgProblemResolver with broken count: "
918 << Cache
.BrokenCount() << endl
;
923 unsigned long const Size
= Cache
.Head().PackageCount
;
925 /* We have to order the packages so that the broken fixing pass
926 operates from highest score to lowest. This prevents problems when
927 high score packages cause the removal of lower score packages that
928 would cause the removal of even lower score packages. */
929 SPtrArray
<pkgCache::Package
*> PList
= new pkgCache::Package
*[Size
];
930 pkgCache::Package
**PEnd
= PList
;
931 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; ++I
)
934 qsort(PList
,PEnd
- PList
,sizeof(*PList
),&ScoreSort
);
936 if (_config
->FindB("Debug::pkgProblemResolver::ShowScores",false) == true)
938 clog
<< "Show Scores" << endl
;
939 for (pkgCache::Package
**K
= PList
; K
!= PEnd
; K
++)
940 if (Scores
[(*K
)->ID
] != 0)
942 pkgCache::PkgIterator
Pkg(Cache
,*K
);
943 clog
<< Scores
[(*K
)->ID
] << ' ' << Pkg
<< std::endl
;
948 clog
<< "Starting 2 pkgProblemResolver with broken count: "
949 << Cache
.BrokenCount() << endl
;
952 /* Now consider all broken packages. For each broken package we either
953 remove the package or fix it's problem. We do this once, it should
954 not be possible for a loop to form (that is a < b < c and fixing b by
955 changing a breaks c) */
957 bool const TryFixByInstall
= _config
->FindB("pkgProblemResolver::FixByInstall", true);
958 for (int Counter
= 0; Counter
!= 10 && Change
== true; Counter
++)
961 for (pkgCache::Package
**K
= PList
; K
!= PEnd
; K
++)
963 pkgCache::PkgIterator
I(Cache
,*K
);
965 /* We attempt to install this and see if any breaks result,
966 this takes care of some strange cases */
967 if (Cache
[I
].CandidateVer
!= Cache
[I
].InstallVer
&&
968 I
->CurrentVer
!= 0 && Cache
[I
].InstallVer
!= 0 &&
969 (Flags
[I
->ID
] & PreInstalled
) != 0 &&
970 (Flags
[I
->ID
] & Protected
) == 0 &&
971 (Flags
[I
->ID
] & ReInstateTried
) == 0)
974 clog
<< " Try to Re-Instate (" << Counter
<< ") " << I
.FullName(false) << endl
;
975 unsigned long OldBreaks
= Cache
.BrokenCount();
976 pkgCache::Version
*OldVer
= Cache
[I
].InstallVer
;
977 Flags
[I
->ID
] &= ReInstateTried
;
979 Cache
.MarkInstall(I
, false, 0, false);
980 if (Cache
[I
].InstBroken() == true ||
981 OldBreaks
< Cache
.BrokenCount())
984 Cache
.MarkDelete(I
, false, 0, false);
986 Cache
.MarkKeep(I
, false, false);
990 clog
<< "Re-Instated " << I
.FullName(false) << " (" << OldBreaks
<< " vs " << Cache
.BrokenCount() << ')' << endl
;
993 if (Cache
[I
].InstallVer
== 0 || Cache
[I
].InstBroken() == false)
997 clog
<< "Investigating (" << Counter
<< ") " << I
<< endl
;
999 // Isolate the problem dependency
1000 PackageKill KillList
[100];
1001 PackageKill
*LEnd
= KillList
;
1003 pkgCache::DepIterator Start
;
1004 pkgCache::DepIterator End
;
1005 PackageKill
*OldEnd
= LEnd
;
1007 enum {OrRemove
,OrKeep
} OrOp
= OrRemove
;
1008 for (pkgCache::DepIterator D
= Cache
[I
].InstVerIter(Cache
).DependsList();
1009 D
.end() == false || InOr
== true;)
1011 // Compute a single dependency element (glob or)
1014 // Decide what to do
1015 if (InOr
== true && OldEnd
== LEnd
)
1017 if (OrOp
== OrRemove
)
1019 if ((Flags
[I
->ID
] & Protected
) != Protected
)
1022 clog
<< " Or group remove for " << I
.FullName(false) << endl
;
1023 Cache
.MarkDelete(I
, false, 0, false);
1027 else if (OrOp
== OrKeep
)
1030 clog
<< " Or group keep for " << I
.FullName(false) << endl
;
1031 Cache
.MarkKeep(I
, false, false);
1036 /* We do an extra loop (as above) to finalize the or group
1040 D
.GlobOr(Start
,End
);
1041 if (Start
.end() == true)
1044 // We only worry about critical deps.
1045 if (End
.IsCritical() != true)
1048 InOr
= Start
!= End
;
1054 // We only worry about critical deps.
1055 if (Start
.IsCritical() != true)
1060 if ((Cache
[End
] & pkgDepCache::DepGInstall
) == pkgDepCache::DepGInstall
)
1067 clog
<< "Broken " << Start
<< endl
;
1069 /* Look across the version list. If there are no possible
1070 targets then we keep the package and bail. This is necessary
1071 if a package has a dep on another package that cant be found */
1072 SPtrArray
<pkgCache::Version
*> VList
= Start
.AllTargets();
1073 if (*VList
== 0 && (Flags
[I
->ID
] & Protected
) != Protected
&&
1074 Start
.IsNegative() == false &&
1075 Cache
[I
].NowBroken() == false)
1079 /* No keep choice because the keep being OK could be the
1080 result of another element in the OR group! */
1085 Cache
.MarkKeep(I
, false, false);
1090 for (pkgCache::Version
**V
= VList
; *V
!= 0; V
++)
1092 pkgCache::VerIterator
Ver(Cache
,*V
);
1093 pkgCache::PkgIterator Pkg
= Ver
.ParentPkg();
1095 /* This is a conflicts, and the version we are looking
1096 at is not the currently selected version of the
1097 package, which means it is not necessary to
1099 if (Cache
[Pkg
].InstallVer
!= Ver
&& Start
.IsNegative() == true)
1102 clog
<< " Conflicts//Breaks against version "
1103 << Ver
.VerStr() << " for " << Pkg
.Name()
1104 << " but that is not InstVer, ignoring"
1110 clog
<< " Considering " << Pkg
.FullName(false) << ' ' << (int)Scores
[Pkg
->ID
] <<
1111 " as a solution to " << I
.FullName(false) << ' ' << (int)Scores
[I
->ID
] << endl
;
1113 /* Try to fix the package under consideration rather than
1114 fiddle with the VList package */
1115 if (Scores
[I
->ID
] <= Scores
[Pkg
->ID
] ||
1116 ((Cache
[Start
] & pkgDepCache::DepNow
) == 0 &&
1117 End
.IsNegative() == false))
1119 // Try a little harder to fix protected packages..
1120 if ((Flags
[I
->ID
] & Protected
) == Protected
)
1122 if (DoUpgrade(Pkg
) == true)
1124 if (Scores
[Pkg
->ID
] > Scores
[I
->ID
])
1125 Scores
[Pkg
->ID
] = Scores
[I
->ID
];
1132 /* See if a keep will do, unless the package is protected,
1133 then installing it will be necessary */
1134 bool Installed
= Cache
[I
].Install();
1135 Cache
.MarkKeep(I
, false, false);
1136 if (Cache
[I
].InstBroken() == false)
1138 // Unwind operation will be keep now
1139 if (OrOp
== OrRemove
)
1143 if (InOr
== true && Installed
== true)
1144 Cache
.MarkInstall(I
, false, 0, false);
1147 clog
<< " Holding Back " << I
.FullName(false) << " rather than change " << Start
.TargetPkg().FullName(false) << endl
;
1151 if (BrokenFix
== false || DoUpgrade(I
) == false)
1153 // Consider other options
1154 if (InOr
== false || Cache
[I
].Garbage
== true)
1157 clog
<< " Removing " << I
.FullName(false) << " rather than change " << Start
.TargetPkg().FullName(false) << endl
;
1158 Cache
.MarkDelete(I
, false, 0, false);
1159 if (Counter
> 1 && Scores
[Pkg
->ID
] > Scores
[I
->ID
])
1160 Scores
[I
->ID
] = Scores
[Pkg
->ID
];
1162 else if (TryFixByInstall
== true &&
1163 Start
.TargetPkg()->CurrentVer
== 0 &&
1164 Cache
[Start
.TargetPkg()].Delete() == false &&
1165 (Flags
[Start
.TargetPkg()->ID
] & ToRemove
) != ToRemove
&&
1166 Cache
.GetCandidateVer(Start
.TargetPkg()).end() == false)
1168 /* Before removing or keeping the package with the broken dependency
1169 try instead to install the first not previously installed package
1170 solving this dependency. This helps every time a previous solver
1171 is removed by the resolver because of a conflict or alike but it is
1172 dangerous as it could trigger new breaks/conflicts… */
1174 clog
<< " Try Installing " << Start
.TargetPkg() << " before changing " << I
.FullName(false) << std::endl
;
1175 unsigned long const OldBroken
= Cache
.BrokenCount();
1176 Cache
.MarkInstall(Start
.TargetPkg(), true, 1, false);
1177 // FIXME: we should undo the complete MarkInstall process here
1178 if (Cache
[Start
.TargetPkg()].InstBroken() == true || Cache
.BrokenCount() > OldBroken
)
1179 Cache
.MarkDelete(Start
.TargetPkg(), false, 1, false);
1190 if (Start
->Type
== pkgCache::Dep::DpkgBreaks
)
1192 // first, try upgradring the package, if that
1193 // does not help, the breaks goes onto the
1196 // FIXME: use DoUpgrade(Pkg) instead?
1197 if (Cache
[End
] & pkgDepCache::DepGCVer
)
1200 clog
<< " Upgrading " << Pkg
.FullName(false) << " due to Breaks field in " << I
.FullName(false) << endl
;
1201 Cache
.MarkInstall(Pkg
, false, 0, false);
1206 // Skip adding to the kill list if it is protected
1207 if ((Flags
[Pkg
->ID
] & Protected
) != 0)
1211 clog
<< " Added " << Pkg
.FullName(false) << " to the remove list" << endl
;
1217 if (Start
.IsNegative() == false)
1222 // Hm, nothing can possibly satisify this dep. Nuke it.
1223 if (VList
[0] == 0 &&
1224 Start
.IsNegative() == false &&
1225 (Flags
[I
->ID
] & Protected
) != Protected
)
1227 bool Installed
= Cache
[I
].Install();
1229 if (Cache
[I
].InstBroken() == false)
1231 // Unwind operation will be keep now
1232 if (OrOp
== OrRemove
)
1236 if (InOr
== true && Installed
== true)
1237 Cache
.MarkInstall(I
, false, 0, false);
1240 clog
<< " Holding Back " << I
.FullName(false) << " because I can't find " << Start
.TargetPkg().FullName(false) << endl
;
1245 clog
<< " Removing " << I
.FullName(false) << " because I can't find " << Start
.TargetPkg().FullName(false) << endl
;
1247 Cache
.MarkDelete(I
, false, 0, false);
1262 // Apply the kill list now
1263 if (Cache
[I
].InstallVer
!= 0)
1265 for (PackageKill
*J
= KillList
; J
!= LEnd
; J
++)
1268 if ((Cache
[J
->Dep
] & pkgDepCache::DepGNow
) == 0)
1270 if (J
->Dep
.IsNegative() == true)
1273 clog
<< " Fixing " << I
.FullName(false) << " via remove of " << J
->Pkg
.FullName(false) << endl
;
1274 Cache
.MarkDelete(J
->Pkg
, false, 0, false);
1280 clog
<< " Fixing " << I
.FullName(false) << " via keep of " << J
->Pkg
.FullName(false) << endl
;
1281 Cache
.MarkKeep(J
->Pkg
, false, false);
1286 if (Scores
[I
->ID
] > Scores
[J
->Pkg
->ID
])
1287 Scores
[J
->Pkg
->ID
] = Scores
[I
->ID
];
1295 clog
<< "Done" << endl
;
1297 if (Cache
.BrokenCount() != 0)
1299 // See if this is the result of a hold
1300 pkgCache::PkgIterator I
= Cache
.PkgBegin();
1301 for (;I
.end() != true; ++I
)
1303 if (Cache
[I
].InstBroken() == false)
1305 if ((Flags
[I
->ID
] & Protected
) != Protected
)
1306 return _error
->Error(_("Error, pkgProblemResolver::Resolve generated breaks, this may be caused by held packages."));
1308 return _error
->Error(_("Unable to correct problems, you have held broken packages."));
1311 // set the auto-flags (mvo: I'm not sure if we _really_ need this)
1312 pkgCache::PkgIterator I
= Cache
.PkgBegin();
1313 for (;I
.end() != true; ++I
) {
1314 if (Cache
[I
].NewInstall() && !(Flags
[I
->ID
] & PreInstalled
)) {
1315 if(_config
->FindI("Debug::pkgAutoRemove",false)) {
1316 std::clog
<< "Resolve installed new pkg: " << I
.FullName(false)
1317 << " (now marking it as auto)" << std::endl
;
1319 Cache
[I
].Flags
|= pkgCache::Flag::Auto
;
1327 // ProblemResolver::BreaksInstOrPolicy - Check if the given pkg is broken/*{{{*/
1328 // ---------------------------------------------------------------------
1329 /* This checks if the given package is broken either by a hard dependency
1330 (InstBroken()) or by introducing a new policy breakage e.g. new
1331 unsatisfied recommends for a package that was in "policy-good" state
1333 Note that this is not perfect as it will ignore further breakage
1334 for already broken policy (recommends)
1336 bool pkgProblemResolver::InstOrNewPolicyBroken(pkgCache::PkgIterator I
)
1338 // a broken install is always a problem
1339 if (Cache
[I
].InstBroken() == true)
1342 std::clog
<< " Dependencies are not satisfied for " << I
<< std::endl
;
1346 // a newly broken policy (recommends/suggests) is a problem
1347 if (Cache
[I
].NowPolicyBroken() == false &&
1348 Cache
[I
].InstPolicyBroken() == true)
1351 std::clog
<< " Policy breaks with upgrade of " << I
<< std::endl
;
1358 // ProblemResolver::ResolveByKeep - Resolve problems using keep /*{{{*/
1359 // ---------------------------------------------------------------------
1360 /* This is the work horse of the soft upgrade routine. It is very gental
1361 in that it does not install or remove any packages. It is assumed that the
1362 system was non-broken previously. */
1363 bool pkgProblemResolver::ResolveByKeep()
1365 std::string
const solver
= _config
->Find("APT::Solver", "internal");
1366 if (solver
!= "internal") {
1367 OpTextProgress
Prog(*_config
);
1368 return EDSP::ResolveExternal(solver
.c_str(), Cache
, true, false, false, &Prog
);
1370 return ResolveByKeepInternal();
1373 // ProblemResolver::ResolveByKeepInternal - Resolve problems using keep /*{{{*/
1374 // ---------------------------------------------------------------------
1375 /* This is the work horse of the soft upgrade routine. It is very gental
1376 in that it does not install or remove any packages. It is assumed that the
1377 system was non-broken previously. */
1378 bool pkgProblemResolver::ResolveByKeepInternal()
1380 pkgDepCache::ActionGroup
group(Cache
);
1382 unsigned long Size
= Cache
.Head().PackageCount
;
1386 /* We have to order the packages so that the broken fixing pass
1387 operates from highest score to lowest. This prevents problems when
1388 high score packages cause the removal of lower score packages that
1389 would cause the removal of even lower score packages. */
1390 pkgCache::Package
**PList
= new pkgCache::Package
*[Size
];
1391 pkgCache::Package
**PEnd
= PList
;
1392 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; ++I
)
1395 qsort(PList
,PEnd
- PList
,sizeof(*PList
),&ScoreSort
);
1397 if (_config
->FindB("Debug::pkgProblemResolver::ShowScores",false) == true)
1399 clog
<< "Show Scores" << endl
;
1400 for (pkgCache::Package
**K
= PList
; K
!= PEnd
; K
++)
1401 if (Scores
[(*K
)->ID
] != 0)
1403 pkgCache::PkgIterator
Pkg(Cache
,*K
);
1404 clog
<< Scores
[(*K
)->ID
] << ' ' << Pkg
<< std::endl
;
1409 clog
<< "Entering ResolveByKeep" << endl
;
1411 // Consider each broken package
1412 pkgCache::Package
**LastStop
= 0;
1413 for (pkgCache::Package
**K
= PList
; K
!= PEnd
; K
++)
1415 pkgCache::PkgIterator
I(Cache
,*K
);
1417 if (Cache
[I
].InstallVer
== 0)
1420 if (InstOrNewPolicyBroken(I
) == false)
1423 /* Keep the package. If this works then great, otherwise we have
1424 to be significantly more agressive and manipulate its dependencies */
1425 if ((Flags
[I
->ID
] & Protected
) == 0)
1428 clog
<< "Keeping package " << I
.FullName(false) << endl
;
1429 Cache
.MarkKeep(I
, false, false);
1430 if (InstOrNewPolicyBroken(I
) == false)
1437 // Isolate the problem dependencies
1438 for (pkgCache::DepIterator D
= Cache
[I
].InstVerIter(Cache
).DependsList(); D
.end() == false;)
1442 D
.GlobOr(Start
,End
);
1444 // We only worry about critical deps.
1445 if (End
.IsCritical() != true)
1449 if ((Cache
[End
] & pkgDepCache::DepGInstall
) == pkgDepCache::DepGInstall
)
1452 /* Hm, the group is broken.. I suppose the best thing to do is to
1453 is to try every combination of keep/not-keep for the set, but thats
1454 slow, and this never happens, just be conservative and assume the
1455 list of ors is in preference and keep till it starts to work. */
1459 clog
<< "Package " << I
.FullName(false) << " " << Start
<< endl
;
1461 // Look at all the possible provides on this package
1462 SPtrArray
<pkgCache::Version
*> VList
= Start
.AllTargets();
1463 for (pkgCache::Version
**V
= VList
; *V
!= 0; V
++)
1465 pkgCache::VerIterator
Ver(Cache
,*V
);
1466 pkgCache::PkgIterator Pkg
= Ver
.ParentPkg();
1468 // It is not keepable
1469 if (Cache
[Pkg
].InstallVer
== 0 ||
1470 Pkg
->CurrentVer
== 0)
1473 if ((Flags
[I
->ID
] & Protected
) == 0)
1476 clog
<< " Keeping Package " << Pkg
.FullName(false) << " due to " << Start
.DepType() << endl
;
1477 Cache
.MarkKeep(Pkg
, false, false);
1480 if (InstOrNewPolicyBroken(I
) == false)
1484 if (InstOrNewPolicyBroken(I
) == false)
1492 if (InstOrNewPolicyBroken(I
) == false)
1496 if (InstOrNewPolicyBroken(I
) == true)
1500 if (K
== LastStop
) {
1501 // I is an iterator based off our temporary package list,
1502 // so copy the name we need before deleting the temporary list
1503 std::string
const LoopingPackage
= I
.FullName(false);
1505 return _error
->Error("Internal Error, pkgProblemResolver::ResolveByKeep is looping on package %s.", LoopingPackage
.c_str());
1515 // ProblemResolver::InstallProtect - deprecated cpu-eating no-op /*{{{*/
1516 // ---------------------------------------------------------------------
1517 /* Actions issued with FromUser bit set are protected from further
1518 modification (expect by other calls with FromUser set) nowadays , so we
1519 don't need to reissue actions here, they are already set in stone. */
1520 void pkgProblemResolver::InstallProtect()
1522 pkgDepCache::ActionGroup
group(Cache
);
1524 for (pkgCache::PkgIterator I
= Cache
.PkgBegin(); I
.end() == false; ++I
)
1526 if ((Flags
[I
->ID
] & Protected
) == Protected
)
1528 if ((Flags
[I
->ID
] & ToRemove
) == ToRemove
)
1529 Cache
.MarkDelete(I
);
1532 // preserve the information whether the package was auto
1533 // or manually installed
1534 bool autoInst
= (Cache
[I
].Flags
& pkgCache::Flag::Auto
);
1535 Cache
.MarkInstall(I
, false, 0, !autoInst
);
1541 // PrioSortList - Sort a list of versions by priority /*{{{*/
1542 // ---------------------------------------------------------------------
1543 /* This is ment to be used in conjunction with AllTargets to get a list
1544 of versions ordered by preference. */
1545 static pkgCache
*PrioCache
;
1546 static int PrioComp(const void *A
,const void *B
)
1548 pkgCache::VerIterator
L(*PrioCache
,*(pkgCache::Version
**)A
);
1549 pkgCache::VerIterator
R(*PrioCache
,*(pkgCache::Version
**)B
);
1551 if ((L
.ParentPkg()->Flags
& pkgCache::Flag::Essential
) == pkgCache::Flag::Essential
&&
1552 (R
.ParentPkg()->Flags
& pkgCache::Flag::Essential
) != pkgCache::Flag::Essential
)
1554 if ((L
.ParentPkg()->Flags
& pkgCache::Flag::Essential
) != pkgCache::Flag::Essential
&&
1555 (R
.ParentPkg()->Flags
& pkgCache::Flag::Essential
) == pkgCache::Flag::Essential
)
1558 if ((L
.ParentPkg()->Flags
& pkgCache::Flag::Important
) == pkgCache::Flag::Important
&&
1559 (R
.ParentPkg()->Flags
& pkgCache::Flag::Important
) != pkgCache::Flag::Important
)
1561 if ((L
.ParentPkg()->Flags
& pkgCache::Flag::Important
) != pkgCache::Flag::Important
&&
1562 (R
.ParentPkg()->Flags
& pkgCache::Flag::Important
) == pkgCache::Flag::Important
)
1565 if (L
->Priority
!= R
->Priority
)
1566 return R
->Priority
- L
->Priority
;
1567 return strcmp(L
.ParentPkg().Name(),R
.ParentPkg().Name());
1569 void pkgPrioSortList(pkgCache
&Cache
,pkgCache::Version
**List
)
1571 unsigned long Count
= 0;
1573 for (pkgCache::Version
**I
= List
; *I
!= 0; I
++)
1575 qsort(List
,Count
,sizeof(*List
),PrioComp
);
1578 // ListUpdate - construct Fetcher and update the cache files /*{{{*/
1579 // ---------------------------------------------------------------------
1580 /* This is a simple wrapper to update the cache. it will fetch stuff
1581 * from the network (or any other sources defined in sources.list)
1583 bool ListUpdate(pkgAcquireStatus
&Stat
,
1584 pkgSourceList
&List
,
1588 if (Fetcher
.Setup(&Stat
, _config
->FindDir("Dir::State::Lists")) == false)
1591 // Populate it with the source selection
1592 if (List
.GetIndexes(&Fetcher
) == false)
1595 return AcquireUpdate(Fetcher
, PulseInterval
, true);
1598 // AcquireUpdate - take Fetcher and update the cache files /*{{{*/
1599 // ---------------------------------------------------------------------
1600 /* This is a simple wrapper to update the cache with a provided acquire
1601 * If you only need control over Status and the used SourcesList use
1602 * ListUpdate method instead.
1604 bool AcquireUpdate(pkgAcquire
&Fetcher
, int const PulseInterval
,
1605 bool const RunUpdateScripts
, bool const ListCleanup
)
1608 if (RunUpdateScripts
== true)
1609 RunScripts("APT::Update::Pre-Invoke");
1611 pkgAcquire::RunResult res
;
1612 if(PulseInterval
> 0)
1613 res
= Fetcher
.Run(PulseInterval
);
1615 res
= Fetcher
.Run();
1617 if (res
== pkgAcquire::Failed
)
1620 bool Failed
= false;
1621 bool TransientNetworkFailure
= false;
1622 for (pkgAcquire::ItemIterator I
= Fetcher
.ItemsBegin();
1623 I
!= Fetcher
.ItemsEnd(); ++I
)
1625 if ((*I
)->Status
== pkgAcquire::Item::StatDone
)
1630 ::URI
uri((*I
)->DescURI());
1632 uri
.Password
.clear();
1633 string descUri
= string(uri
);
1634 _error
->Warning(_("Failed to fetch %s %s\n"), descUri
.c_str(),
1635 (*I
)->ErrorText
.c_str());
1637 if ((*I
)->Status
== pkgAcquire::Item::StatTransientNetworkError
)
1639 TransientNetworkFailure
= true;
1646 // Clean out any old list files
1647 // Keep "APT::Get::List-Cleanup" name for compatibility, but
1648 // this is really a global option for the APT library now
1649 if (!TransientNetworkFailure
&& !Failed
&& ListCleanup
== true &&
1650 (_config
->FindB("APT::Get::List-Cleanup",true) == true &&
1651 _config
->FindB("APT::List-Cleanup",true) == true))
1653 if (Fetcher
.Clean(_config
->FindDir("Dir::State::lists")) == false ||
1654 Fetcher
.Clean(_config
->FindDir("Dir::State::lists") + "partial/") == false)
1655 // something went wrong with the clean
1659 if (TransientNetworkFailure
== true)
1660 _error
->Warning(_("Some index files failed to download. They have been ignored, or old ones used instead."));
1661 else if (Failed
== true)
1662 return _error
->Error(_("Some index files failed to download. They have been ignored, or old ones used instead."));
1665 // Run the success scripts if all was fine
1666 if (RunUpdateScripts
== true)
1668 if(!TransientNetworkFailure
&& !Failed
)
1669 RunScripts("APT::Update::Post-Invoke-Success");
1671 // Run the other scripts
1672 RunScripts("APT::Update::Post-Invoke");