]> git.saurik.com Git - apt.git/blame_incremental - apt-pkg/depcache.cc
merged from the debian-sid branch
[apt.git] / apt-pkg / depcache.cc
... / ...
CommitLineData
1// -*- mode: cpp; mode: fold -*-
2// Description /*{{{*/
3// $Id: depcache.cc,v 1.25 2001/05/27 05:36:04 jgg Exp $
4/* ######################################################################
5
6 Dependency Cache - Caches Dependency information.
7
8 ##################################################################### */
9 /*}}}*/
10// Include Files /*{{{*/
11#include<config.h>
12
13#include <apt-pkg/depcache.h>
14#include <apt-pkg/version.h>
15#include <apt-pkg/versionmatch.h>
16#include <apt-pkg/error.h>
17#include <apt-pkg/sptr.h>
18#include <apt-pkg/algorithms.h>
19#include <apt-pkg/fileutl.h>
20#include <apt-pkg/strutl.h>
21#include <apt-pkg/configuration.h>
22#include <apt-pkg/aptconfiguration.h>
23#include <apt-pkg/pkgsystem.h>
24#include <apt-pkg/tagfile.h>
25#include <apt-pkg/progress.h>
26#include <apt-pkg/cacheset.h>
27
28#include <algorithm>
29#include <iostream>
30#include <sstream>
31#include <set>
32
33#include <sys/stat.h>
34
35#include <apti18n.h>
36 /*}}}*/
37
38using std::string;
39
40// helper for Install-Recommends-Sections and Never-MarkAuto-Sections /*{{{*/
41static bool
42ConfigValueInSubTree(const char* SubTree, const char *needle)
43{
44 Configuration::Item const *Opts;
45 Opts = _config->Tree(SubTree);
46 if (Opts != 0 && Opts->Child != 0)
47 {
48 Opts = Opts->Child;
49 for (; Opts != 0; Opts = Opts->Next)
50 {
51 if (Opts->Value.empty() == true)
52 continue;
53 if (strcmp(needle, Opts->Value.c_str()) == 0)
54 return true;
55 }
56 }
57 return false;
58}
59 /*}}}*/
60pkgDepCache::ActionGroup::ActionGroup(pkgDepCache &cache) : /*{{{*/
61 cache(cache), released(false)
62{
63 ++cache.group_level;
64}
65
66void pkgDepCache::ActionGroup::release()
67{
68 if(!released)
69 {
70 if(cache.group_level == 0)
71 std::cerr << "W: Unbalanced action groups, expect badness" << std::endl;
72 else
73 {
74 --cache.group_level;
75
76 if(cache.group_level == 0)
77 cache.MarkAndSweep();
78 }
79
80 released = true;
81 }
82}
83
84pkgDepCache::ActionGroup::~ActionGroup()
85{
86 release();
87}
88 /*}}}*/
89// DepCache::pkgDepCache - Constructors /*{{{*/
90// ---------------------------------------------------------------------
91/* */
92pkgDepCache::pkgDepCache(pkgCache *pCache,Policy *Plcy) :
93 group_level(0), Cache(pCache), PkgState(0), DepState(0)
94{
95 DebugMarker = _config->FindB("Debug::pkgDepCache::Marker", false);
96 DebugAutoInstall = _config->FindB("Debug::pkgDepCache::AutoInstall", false);
97 delLocalPolicy = 0;
98 LocalPolicy = Plcy;
99 if (LocalPolicy == 0)
100 delLocalPolicy = LocalPolicy = new Policy;
101}
102 /*}}}*/
103// DepCache::~pkgDepCache - Destructor /*{{{*/
104// ---------------------------------------------------------------------
105/* */
106pkgDepCache::~pkgDepCache()
107{
108 delete [] PkgState;
109 delete [] DepState;
110 delete delLocalPolicy;
111}
112 /*}}}*/
113// DepCache::Init - Generate the initial extra structures. /*{{{*/
114// ---------------------------------------------------------------------
115/* This allocats the extension buffers and initializes them. */
116bool pkgDepCache::Init(OpProgress *Prog)
117{
118 // Suppress mark updates during this operation (just in case) and
119 // run a mark operation when Init terminates.
120 ActionGroup actions(*this);
121
122 delete [] PkgState;
123 delete [] DepState;
124 PkgState = new StateCache[Head().PackageCount];
125 DepState = new unsigned char[Head().DependsCount];
126 memset(PkgState,0,sizeof(*PkgState)*Head().PackageCount);
127 memset(DepState,0,sizeof(*DepState)*Head().DependsCount);
128
129 if (Prog != 0)
130 {
131 Prog->OverallProgress(0,2*Head().PackageCount,Head().PackageCount,
132 _("Building dependency tree"));
133 Prog->SubProgress(Head().PackageCount,_("Candidate versions"));
134 }
135
136 /* Set the current state of everything. In this state all of the
137 packages are kept exactly as is. See AllUpgrade */
138 int Done = 0;
139 for (PkgIterator I = PkgBegin(); I.end() != true; ++I, ++Done)
140 {
141 if (Prog != 0 && Done%20 == 0)
142 Prog->Progress(Done);
143
144 // Find the proper cache slot
145 StateCache &State = PkgState[I->ID];
146 State.iFlags = 0;
147
148 // Figure out the install version
149 State.CandidateVer = GetCandidateVer(I);
150 State.InstallVer = I.CurrentVer();
151 State.Mode = ModeKeep;
152
153 State.Update(I,*this);
154 }
155
156 if (Prog != 0)
157 {
158
159 Prog->OverallProgress(Head().PackageCount,2*Head().PackageCount,
160 Head().PackageCount,
161 _("Building dependency tree"));
162 Prog->SubProgress(Head().PackageCount,_("Dependency generation"));
163 }
164
165 Update(Prog);
166
167 if(Prog != 0)
168 Prog->Done();
169
170 return true;
171}
172 /*}}}*/
173bool pkgDepCache::readStateFile(OpProgress *Prog) /*{{{*/
174{
175 FileFd state_file;
176 string const state = _config->FindFile("Dir::State::extended_states");
177 if(RealFileExists(state)) {
178 state_file.Open(state, FileFd::ReadOnly);
179 off_t const file_size = state_file.Size();
180 if(Prog != NULL)
181 Prog->OverallProgress(0, file_size, 1,
182 _("Reading state information"));
183
184 pkgTagFile tagfile(&state_file);
185 pkgTagSection section;
186 off_t amt = 0;
187 bool const debug_autoremove = _config->FindB("Debug::pkgAutoRemove",false);
188 while(tagfile.Step(section)) {
189 string const pkgname = section.FindS("Package");
190 string pkgarch = section.FindS("Architecture");
191 if (pkgarch.empty() == true)
192 pkgarch = "any";
193 pkgCache::PkgIterator pkg = Cache->FindPkg(pkgname, pkgarch);
194 // Silently ignore unknown packages and packages with no actual version.
195 if(pkg.end() == true || pkg->VersionList == 0)
196 continue;
197
198 short const reason = section.FindI("Auto-Installed", 0);
199 if(reason > 0)
200 {
201 PkgState[pkg->ID].Flags |= Flag::Auto;
202 if (unlikely(debug_autoremove))
203 std::clog << "Auto-Installed : " << pkg.FullName() << std::endl;
204 if (pkgarch == "any")
205 {
206 pkgCache::GrpIterator G = pkg.Group();
207 for (pkg = G.NextPkg(pkg); pkg.end() != true; pkg = G.NextPkg(pkg))
208 if (pkg->VersionList != 0)
209 PkgState[pkg->ID].Flags |= Flag::Auto;
210 }
211 }
212 amt += section.size();
213 if(Prog != NULL)
214 Prog->OverallProgress(amt, file_size, 1,
215 _("Reading state information"));
216 }
217 if(Prog != NULL)
218 Prog->OverallProgress(file_size, file_size, 1,
219 _("Reading state information"));
220 }
221
222 return true;
223}
224 /*}}}*/
225bool pkgDepCache::writeStateFile(OpProgress *prog, bool InstalledOnly) /*{{{*/
226{
227 bool const debug_autoremove = _config->FindB("Debug::pkgAutoRemove",false);
228
229 if(debug_autoremove)
230 std::clog << "pkgDepCache::writeStateFile()" << std::endl;
231
232 FileFd StateFile;
233 string const state = _config->FindFile("Dir::State::extended_states");
234
235 // if it does not exist, create a empty one
236 if(!RealFileExists(state))
237 {
238 StateFile.Open(state, FileFd::WriteAtomic);
239 StateFile.Close();
240 }
241
242 // open it
243 if(!StateFile.Open(state, FileFd::ReadOnly))
244 return _error->Error(_("Failed to open StateFile %s"),
245 state.c_str());
246
247 FILE *OutFile;
248 string const outfile = state + ".tmp";
249 if((OutFile = fopen(outfile.c_str(),"w")) == NULL)
250 return _error->Error(_("Failed to write temporary StateFile %s"),
251 outfile.c_str());
252
253 // first merge with the existing sections
254 pkgTagFile tagfile(&StateFile);
255 pkgTagSection section;
256 std::set<string> pkgs_seen;
257 const char *nullreorderlist[] = {0};
258 while(tagfile.Step(section)) {
259 string const pkgname = section.FindS("Package");
260 string pkgarch = section.FindS("Architecture");
261 if (pkgarch.empty() == true)
262 pkgarch = "native";
263 // Silently ignore unknown packages and packages with no actual
264 // version.
265 pkgCache::PkgIterator pkg = Cache->FindPkg(pkgname, pkgarch);
266 if(pkg.end() || pkg.VersionList().end())
267 continue;
268 StateCache const &P = PkgState[pkg->ID];
269 bool newAuto = (P.Flags & Flag::Auto);
270 // skip not installed or now-removed ones if requested
271 if (InstalledOnly && (
272 (pkg->CurrentVer == 0 && P.Mode != ModeInstall) ||
273 (pkg->CurrentVer != 0 && P.Mode == ModeDelete)))
274 {
275 // The section is obsolete if it contains no other tag
276 unsigned int const count = section.Count();
277 if (count < 2 ||
278 (count == 2 && section.Exists("Auto-Installed")) ||
279 (count == 3 && section.Exists("Auto-Installed") && section.Exists("Architecture")))
280 continue;
281 else
282 newAuto = false;
283 }
284 if(_config->FindB("Debug::pkgAutoRemove",false))
285 std::clog << "Update existing AutoInstall info: "
286 << pkg.FullName() << std::endl;
287 TFRewriteData rewrite[3];
288 rewrite[0].Tag = "Architecture";
289 rewrite[0].Rewrite = pkg.Arch();
290 rewrite[0].NewTag = 0;
291 rewrite[1].Tag = "Auto-Installed";
292 rewrite[1].Rewrite = newAuto ? "1" : "0";
293 rewrite[1].NewTag = 0;
294 rewrite[2].Tag = 0;
295 TFRewrite(OutFile, section, nullreorderlist, rewrite);
296 fprintf(OutFile,"\n");
297 pkgs_seen.insert(pkg.FullName());
298 }
299
300 // then write the ones we have not seen yet
301 std::ostringstream ostr;
302 for(pkgCache::PkgIterator pkg=Cache->PkgBegin(); !pkg.end(); ++pkg) {
303 StateCache const &P = PkgState[pkg->ID];
304 if(P.Flags & Flag::Auto) {
305 if (pkgs_seen.find(pkg.FullName()) != pkgs_seen.end()) {
306 if(debug_autoremove)
307 std::clog << "Skipping already written " << pkg.FullName() << std::endl;
308 continue;
309 }
310 // skip not installed ones if requested
311 if (InstalledOnly && (
312 (pkg->CurrentVer == 0 && P.Mode != ModeInstall) ||
313 (pkg->CurrentVer != 0 && P.Mode == ModeDelete)))
314 continue;
315 const char* const pkgarch = pkg.Arch();
316 if (strcmp(pkgarch, "all") == 0)
317 continue;
318 if(debug_autoremove)
319 std::clog << "Writing new AutoInstall: " << pkg.FullName() << std::endl;
320 ostr.str(string(""));
321 ostr << "Package: " << pkg.Name()
322 << "\nArchitecture: " << pkgarch
323 << "\nAuto-Installed: 1\n\n";
324 fprintf(OutFile,"%s",ostr.str().c_str());
325 }
326 }
327 fclose(OutFile);
328
329 // move the outfile over the real file and set permissions
330 rename(outfile.c_str(), state.c_str());
331 chmod(state.c_str(), 0644);
332
333 return true;
334}
335 /*}}}*/
336// DepCache::CheckDep - Checks a single dependency /*{{{*/
337// ---------------------------------------------------------------------
338/* This first checks the dependency against the main target package and
339 then walks along the package provides list and checks if each provides
340 will be installed then checks the provides against the dep. Res will be
341 set to the package which was used to satisfy the dep. */
342bool pkgDepCache::CheckDep(DepIterator Dep,int Type,PkgIterator &Res)
343{
344 Res = Dep.TargetPkg();
345
346 /* Check simple depends. A depends -should- never self match but
347 we allow it anyhow because dpkg does. Technically it is a packaging
348 bug. Conflicts may never self match */
349 if (Dep.IsIgnorable(Res) == false)
350 {
351 PkgIterator Pkg = Dep.TargetPkg();
352 // Check the base package
353 if (Type == NowVersion && Pkg->CurrentVer != 0)
354 if (VS().CheckDep(Pkg.CurrentVer().VerStr(),Dep->CompareOp,
355 Dep.TargetVer()) == true)
356 return true;
357
358 if (Type == InstallVersion && PkgState[Pkg->ID].InstallVer != 0)
359 if (VS().CheckDep(PkgState[Pkg->ID].InstVerIter(*this).VerStr(),
360 Dep->CompareOp,Dep.TargetVer()) == true)
361 return true;
362
363 if (Type == CandidateVersion && PkgState[Pkg->ID].CandidateVer != 0)
364 if (VS().CheckDep(PkgState[Pkg->ID].CandidateVerIter(*this).VerStr(),
365 Dep->CompareOp,Dep.TargetVer()) == true)
366 return true;
367 }
368
369 if (Dep->Type == Dep::Obsoletes)
370 return false;
371
372 // Check the providing packages
373 PrvIterator P = Dep.TargetPkg().ProvidesList();
374 for (; P.end() != true; ++P)
375 {
376 if (Dep.IsIgnorable(P) == true)
377 continue;
378
379 // Check if the provides is a hit
380 if (Type == NowVersion)
381 {
382 if (P.OwnerPkg().CurrentVer() != P.OwnerVer())
383 continue;
384 }
385
386 if (Type == InstallVersion)
387 {
388 StateCache &State = PkgState[P.OwnerPkg()->ID];
389 if (State.InstallVer != (Version *)P.OwnerVer())
390 continue;
391 }
392
393 if (Type == CandidateVersion)
394 {
395 StateCache &State = PkgState[P.OwnerPkg()->ID];
396 if (State.CandidateVer != (Version *)P.OwnerVer())
397 continue;
398 }
399
400 // Compare the versions.
401 if (VS().CheckDep(P.ProvideVersion(),Dep->CompareOp,Dep.TargetVer()) == true)
402 {
403 Res = P.OwnerPkg();
404 return true;
405 }
406 }
407
408 return false;
409}
410 /*}}}*/
411// DepCache::AddSizes - Add the packages sizes to the counters /*{{{*/
412// ---------------------------------------------------------------------
413/* Call with Inverse = true to preform the inverse opration */
414void pkgDepCache::AddSizes(const PkgIterator &Pkg, bool const Inverse)
415{
416 StateCache &P = PkgState[Pkg->ID];
417
418 if (Pkg->VersionList == 0)
419 return;
420
421 if (Pkg.State() == pkgCache::PkgIterator::NeedsConfigure &&
422 P.Keep() == true)
423 return;
424
425 // Compute the size data
426 if (P.NewInstall() == true)
427 {
428 if (Inverse == false) {
429 iUsrSize += P.InstVerIter(*this)->InstalledSize;
430 iDownloadSize += P.InstVerIter(*this)->Size;
431 } else {
432 iUsrSize -= P.InstVerIter(*this)->InstalledSize;
433 iDownloadSize -= P.InstVerIter(*this)->Size;
434 }
435 return;
436 }
437
438 // Upgrading
439 if (Pkg->CurrentVer != 0 &&
440 (P.InstallVer != (Version *)Pkg.CurrentVer() ||
441 (P.iFlags & ReInstall) == ReInstall) && P.InstallVer != 0)
442 {
443 if (Inverse == false) {
444 iUsrSize -= Pkg.CurrentVer()->InstalledSize;
445 iUsrSize += P.InstVerIter(*this)->InstalledSize;
446 iDownloadSize += P.InstVerIter(*this)->Size;
447 } else {
448 iUsrSize -= P.InstVerIter(*this)->InstalledSize;
449 iUsrSize += Pkg.CurrentVer()->InstalledSize;
450 iDownloadSize -= P.InstVerIter(*this)->Size;
451 }
452 return;
453 }
454
455 // Reinstall
456 if (Pkg.State() == pkgCache::PkgIterator::NeedsUnpack &&
457 P.Delete() == false)
458 {
459 if (Inverse == false)
460 iDownloadSize += P.InstVerIter(*this)->Size;
461 else
462 iDownloadSize -= P.InstVerIter(*this)->Size;
463 return;
464 }
465
466 // Removing
467 if (Pkg->CurrentVer != 0 && P.InstallVer == 0)
468 {
469 if (Inverse == false)
470 iUsrSize -= Pkg.CurrentVer()->InstalledSize;
471 else
472 iUsrSize += Pkg.CurrentVer()->InstalledSize;
473 return;
474 }
475}
476 /*}}}*/
477// DepCache::AddStates - Add the package to the state counter /*{{{*/
478// ---------------------------------------------------------------------
479/* This routine is tricky to use, you must make sure that it is never
480 called twice for the same package. This means the Remove/Add section
481 should be as short as possible and not encompass any code that will
482 calld Remove/Add itself. Remember, dependencies can be circular so
483 while processing a dep for Pkg it is possible that Add/Remove
484 will be called on Pkg */
485void pkgDepCache::AddStates(const PkgIterator &Pkg, bool const Invert)
486{
487 signed char const Add = (Invert == false) ? 1 : -1;
488 StateCache &State = PkgState[Pkg->ID];
489
490 // The Package is broken (either minimal dep or policy dep)
491 if ((State.DepState & DepInstMin) != DepInstMin)
492 iBrokenCount += Add;
493 if ((State.DepState & DepInstPolicy) != DepInstPolicy)
494 iPolicyBrokenCount += Add;
495
496 // Bad state
497 if (Pkg.State() != PkgIterator::NeedsNothing)
498 iBadCount += Add;
499
500 // Not installed
501 if (Pkg->CurrentVer == 0)
502 {
503 if (State.Mode == ModeDelete &&
504 (State.iFlags & Purge) == Purge && Pkg.Purge() == false)
505 iDelCount += Add;
506
507 if (State.Mode == ModeInstall)
508 iInstCount += Add;
509 return;
510 }
511
512 // Installed, no upgrade
513 if (State.Status == 0)
514 {
515 if (State.Mode == ModeDelete)
516 iDelCount += Add;
517 else
518 if ((State.iFlags & ReInstall) == ReInstall)
519 iInstCount += Add;
520
521 return;
522 }
523
524 // Alll 3 are possible
525 if (State.Mode == ModeDelete)
526 iDelCount += Add;
527 if (State.Mode == ModeKeep)
528 iKeepCount += Add;
529 if (State.Mode == ModeInstall)
530 iInstCount += Add;
531}
532 /*}}}*/
533// DepCache::BuildGroupOrs - Generate the Or group dep data /*{{{*/
534// ---------------------------------------------------------------------
535/* The or group results are stored in the last item of the or group. This
536 allows easy detection of the state of a whole or'd group. */
537void pkgDepCache::BuildGroupOrs(VerIterator const &V)
538{
539 unsigned char Group = 0;
540
541 for (DepIterator D = V.DependsList(); D.end() != true; ++D)
542 {
543 // Build the dependency state.
544 unsigned char &State = DepState[D->ID];
545
546 /* Invert for Conflicts. We have to do this twice to get the
547 right sense for a conflicts group */
548 if (D.IsNegative() == true)
549 State = ~State;
550
551 // Add to the group if we are within an or..
552 State &= 0x7;
553 Group |= State;
554 State |= Group << 3;
555 if ((D->CompareOp & Dep::Or) != Dep::Or)
556 Group = 0;
557
558 // Invert for Conflicts
559 if (D.IsNegative() == true)
560 State = ~State;
561 }
562}
563 /*}}}*/
564// DepCache::VersionState - Perform a pass over a dependency list /*{{{*/
565// ---------------------------------------------------------------------
566/* This is used to run over a dependency list and determine the dep
567 state of the list, filtering it through both a Min check and a Policy
568 check. The return result will have SetMin/SetPolicy low if a check
569 fails. It uses the DepState cache for it's computations. */
570unsigned char pkgDepCache::VersionState(DepIterator D,unsigned char Check,
571 unsigned char SetMin,
572 unsigned char SetPolicy)
573{
574 unsigned char Dep = 0xFF;
575
576 while (D.end() != true)
577 {
578 // Compute a single dependency element (glob or)
579 DepIterator Start = D;
580 unsigned char State = 0;
581 for (bool LastOR = true; D.end() == false && LastOR == true; ++D)
582 {
583 State |= DepState[D->ID];
584 LastOR = (D->CompareOp & Dep::Or) == Dep::Or;
585 }
586
587 // Minimum deps that must be satisfied to have a working package
588 if (Start.IsCritical() == true)
589 if ((State & Check) != Check)
590 Dep &= ~SetMin;
591
592 // Policy deps that must be satisfied to install the package
593 if (IsImportantDep(Start) == true &&
594 (State & Check) != Check)
595 Dep &= ~SetPolicy;
596 }
597
598 return Dep;
599}
600 /*}}}*/
601// DepCache::DependencyState - Compute the 3 results for a dep /*{{{*/
602// ---------------------------------------------------------------------
603/* This is the main dependency computation bit. It computes the 3 main
604 results for a dependencys, Now, Install and Candidate. Callers must
605 invert the result if dealing with conflicts. */
606unsigned char pkgDepCache::DependencyState(DepIterator &D)
607{
608 unsigned char State = 0;
609
610 if (CheckDep(D,NowVersion) == true)
611 State |= DepNow;
612 if (CheckDep(D,InstallVersion) == true)
613 State |= DepInstall;
614 if (CheckDep(D,CandidateVersion) == true)
615 State |= DepCVer;
616
617 return State;
618}
619 /*}}}*/
620// DepCache::UpdateVerState - Compute the Dep member of the state /*{{{*/
621// ---------------------------------------------------------------------
622/* This determines the combined dependency representation of a package
623 for its two states now and install. This is done by using the pre-generated
624 dependency information. */
625void pkgDepCache::UpdateVerState(PkgIterator Pkg)
626{
627 // Empty deps are always true
628 StateCache &State = PkgState[Pkg->ID];
629 State.DepState = 0xFF;
630
631 // Check the Current state
632 if (Pkg->CurrentVer != 0)
633 {
634 DepIterator D = Pkg.CurrentVer().DependsList();
635 State.DepState &= VersionState(D,DepNow,DepNowMin,DepNowPolicy);
636 }
637
638 /* Check the candidate state. We do not compare against the whole as
639 a candidate state but check the candidate version against the
640 install states */
641 if (State.CandidateVer != 0)
642 {
643 DepIterator D = State.CandidateVerIter(*this).DependsList();
644 State.DepState &= VersionState(D,DepInstall,DepCandMin,DepCandPolicy);
645 }
646
647 // Check target state which can only be current or installed
648 if (State.InstallVer != 0)
649 {
650 DepIterator D = State.InstVerIter(*this).DependsList();
651 State.DepState &= VersionState(D,DepInstall,DepInstMin,DepInstPolicy);
652 }
653}
654 /*}}}*/
655// DepCache::Update - Figure out all the state information /*{{{*/
656// ---------------------------------------------------------------------
657/* This will figure out the state of all the packages and all the
658 dependencies based on the current policy. */
659void pkgDepCache::Update(OpProgress *Prog)
660{
661 iUsrSize = 0;
662 iDownloadSize = 0;
663 iDelCount = 0;
664 iInstCount = 0;
665 iKeepCount = 0;
666 iBrokenCount = 0;
667 iBadCount = 0;
668
669 // Perform the depends pass
670 int Done = 0;
671 for (PkgIterator I = PkgBegin(); I.end() != true; ++I, ++Done)
672 {
673 if (Prog != 0 && Done%20 == 0)
674 Prog->Progress(Done);
675 for (VerIterator V = I.VersionList(); V.end() != true; ++V)
676 {
677 unsigned char Group = 0;
678
679 for (DepIterator D = V.DependsList(); D.end() != true; ++D)
680 {
681 // Build the dependency state.
682 unsigned char &State = DepState[D->ID];
683 State = DependencyState(D);
684
685 // Add to the group if we are within an or..
686 Group |= State;
687 State |= Group << 3;
688 if ((D->CompareOp & Dep::Or) != Dep::Or)
689 Group = 0;
690
691 // Invert for Conflicts
692 if (D.IsNegative() == true)
693 State = ~State;
694 }
695 }
696
697 // Compute the package dependency state and size additions
698 AddSizes(I);
699 UpdateVerState(I);
700 AddStates(I);
701 }
702
703 if (Prog != 0)
704 Prog->Progress(Done);
705
706 readStateFile(Prog);
707}
708 /*}}}*/
709// DepCache::Update - Update the deps list of a package /*{{{*/
710// ---------------------------------------------------------------------
711/* This is a helper for update that only does the dep portion of the scan.
712 It is mainly meant to scan reverse dependencies. */
713void pkgDepCache::Update(DepIterator D)
714{
715 // Update the reverse deps
716 for (;D.end() != true; ++D)
717 {
718 unsigned char &State = DepState[D->ID];
719 State = DependencyState(D);
720
721 // Invert for Conflicts
722 if (D.IsNegative() == true)
723 State = ~State;
724
725 RemoveStates(D.ParentPkg());
726 BuildGroupOrs(D.ParentVer());
727 UpdateVerState(D.ParentPkg());
728 AddStates(D.ParentPkg());
729 }
730}
731 /*}}}*/
732// DepCache::Update - Update the related deps of a package /*{{{*/
733// ---------------------------------------------------------------------
734/* This is called whenever the state of a package changes. It updates
735 all cached dependencies related to this package. */
736void pkgDepCache::Update(PkgIterator const &Pkg)
737{
738 // Recompute the dep of the package
739 RemoveStates(Pkg);
740 UpdateVerState(Pkg);
741 AddStates(Pkg);
742
743 // Update the reverse deps
744 Update(Pkg.RevDependsList());
745
746 // Update the provides map for the current ver
747 if (Pkg->CurrentVer != 0)
748 for (PrvIterator P = Pkg.CurrentVer().ProvidesList();
749 P.end() != true; ++P)
750 Update(P.ParentPkg().RevDependsList());
751
752 // Update the provides map for the candidate ver
753 if (PkgState[Pkg->ID].CandidateVer != 0)
754 for (PrvIterator P = PkgState[Pkg->ID].CandidateVerIter(*this).ProvidesList();
755 P.end() != true; ++P)
756 Update(P.ParentPkg().RevDependsList());
757}
758 /*}}}*/
759// DepCache::MarkKeep - Put the package in the keep state /*{{{*/
760// ---------------------------------------------------------------------
761/* */
762bool pkgDepCache::MarkKeep(PkgIterator const &Pkg, bool Soft, bool FromUser,
763 unsigned long Depth)
764{
765 if (IsModeChangeOk(ModeKeep, Pkg, Depth, FromUser) == false)
766 return false;
767
768 /* Reject an attempt to keep a non-source broken installed package, those
769 must be upgraded */
770 if (Pkg.State() == PkgIterator::NeedsUnpack &&
771 Pkg.CurrentVer().Downloadable() == false)
772 return false;
773
774 /* We changed the soft state all the time so the UI is a bit nicer
775 to use */
776 StateCache &P = PkgState[Pkg->ID];
777
778 // Check that it is not already kept
779 if (P.Mode == ModeKeep)
780 return true;
781
782 if (Soft == true)
783 P.iFlags |= AutoKept;
784 else
785 P.iFlags &= ~AutoKept;
786
787 ActionGroup group(*this);
788
789#if 0 // reseting the autoflag here means we lose the
790 // auto-mark information if a user selects a package for removal
791 // but changes his mind then and sets it for keep again
792 // - this makes sense as default when all Garbage dependencies
793 // are automatically marked for removal (as aptitude does).
794 // setting a package for keep then makes it no longer autoinstalled
795 // for all other use-case this action is rather suprising
796 if(FromUser && !P.Marked)
797 P.Flags &= ~Flag::Auto;
798#endif
799
800 if (DebugMarker == true)
801 std::clog << OutputInDepth(Depth) << "MarkKeep " << Pkg << " FU=" << FromUser << std::endl;
802
803 RemoveSizes(Pkg);
804 RemoveStates(Pkg);
805
806 P.Mode = ModeKeep;
807 if (Pkg->CurrentVer == 0)
808 P.InstallVer = 0;
809 else
810 P.InstallVer = Pkg.CurrentVer();
811
812 AddStates(Pkg);
813 Update(Pkg);
814 AddSizes(Pkg);
815
816 return true;
817}
818 /*}}}*/
819// DepCache::MarkDelete - Put the package in the delete state /*{{{*/
820// ---------------------------------------------------------------------
821/* */
822bool pkgDepCache::MarkDelete(PkgIterator const &Pkg, bool rPurge,
823 unsigned long Depth, bool FromUser)
824{
825 if (IsModeChangeOk(ModeDelete, Pkg, Depth, FromUser) == false)
826 return false;
827
828 StateCache &P = PkgState[Pkg->ID];
829
830 // Check that it is not already marked for delete
831 if ((P.Mode == ModeDelete || P.InstallVer == 0) &&
832 (Pkg.Purge() == true || rPurge == false))
833 return true;
834
835 // check if we are allowed to remove the package
836 if (IsDeleteOk(Pkg,rPurge,Depth,FromUser) == false)
837 return false;
838
839 P.iFlags &= ~(AutoKept | Purge);
840 if (rPurge == true)
841 P.iFlags |= Purge;
842
843 ActionGroup group(*this);
844
845 if (DebugMarker == true)
846 std::clog << OutputInDepth(Depth) << (rPurge ? "MarkPurge " : "MarkDelete ") << Pkg << " FU=" << FromUser << std::endl;
847
848 RemoveSizes(Pkg);
849 RemoveStates(Pkg);
850
851 if (Pkg->CurrentVer == 0 && (Pkg.Purge() == true || rPurge == false))
852 P.Mode = ModeKeep;
853 else
854 P.Mode = ModeDelete;
855 P.InstallVer = 0;
856
857 AddStates(Pkg);
858 Update(Pkg);
859 AddSizes(Pkg);
860
861 return true;
862}
863 /*}}}*/
864// DepCache::IsDeleteOk - check if it is ok to remove this package /*{{{*/
865// ---------------------------------------------------------------------
866/* The default implementation tries to prevent deletion of install requests.
867 dpkg holds are enforced by the private IsModeChangeOk */
868bool pkgDepCache::IsDeleteOk(PkgIterator const &Pkg,bool rPurge,
869 unsigned long Depth, bool FromUser)
870{
871 if (FromUser == false && Pkg->CurrentVer == 0)
872 {
873 StateCache &P = PkgState[Pkg->ID];
874 if (P.InstallVer != 0 && P.Status == 2 && (P.Flags & Flag::Auto) != Flag::Auto)
875 {
876 if (DebugMarker == true)
877 std::clog << OutputInDepth(Depth) << "Manual install request prevents MarkDelete of " << Pkg << std::endl;
878 return false;
879 }
880 }
881 return true;
882}
883 /*}}}*/
884// DepCache::IsModeChangeOk - check if it is ok to change the mode /*{{{*/
885// ---------------------------------------------------------------------
886/* this is used by all Mark methods on the very first line to check sanity
887 and prevents mode changes for packages on hold for example.
888 If you want to check Mode specific stuff you can use the virtual public
889 Is<Mode>Ok methods instead */
890char const* PrintMode(char const mode)
891{
892 switch (mode)
893 {
894 case pkgDepCache::ModeInstall: return "Install";
895 case pkgDepCache::ModeKeep: return "Keep";
896 case pkgDepCache::ModeDelete: return "Delete";
897 default: return "UNKNOWN";
898 }
899}
900bool pkgDepCache::IsModeChangeOk(ModeList const mode, PkgIterator const &Pkg,
901 unsigned long const Depth, bool const FromUser)
902{
903 // we are not trying to hard…
904 if (unlikely(Depth > 100))
905 return false;
906
907 // general sanity
908 if (unlikely(Pkg.end() == true || Pkg->VersionList == 0))
909 return false;
910
911 // the user is always right
912 if (FromUser == true)
913 return true;
914
915 StateCache &P = PkgState[Pkg->ID];
916 // not changing the mode is obviously also fine as we might want to call
917 // e.g. MarkInstall multiple times with different arguments for the same package
918 if (P.Mode == mode)
919 return true;
920
921 // if previous state was set by user only user can reset it
922 if ((P.iFlags & Protected) == Protected)
923 {
924 if (unlikely(DebugMarker == true))
925 std::clog << OutputInDepth(Depth) << "Ignore Mark" << PrintMode(mode)
926 << " of " << Pkg << " as its mode (" << PrintMode(P.Mode)
927 << ") is protected" << std::endl;
928 return false;
929 }
930 // enforce dpkg holds
931 else if (mode != ModeKeep && Pkg->SelectedState == pkgCache::State::Hold &&
932 _config->FindB("APT::Ignore-Hold",false) == false)
933 {
934 if (unlikely(DebugMarker == true))
935 std::clog << OutputInDepth(Depth) << "Hold prevents Mark" << PrintMode(mode)
936 << " of " << Pkg << std::endl;
937 return false;
938 }
939
940 return true;
941}
942 /*}}}*/
943// DepCache::MarkInstall - Put the package in the install state /*{{{*/
944// ---------------------------------------------------------------------
945/* */
946struct CompareProviders {
947 pkgCache::PkgIterator const Pkg;
948 CompareProviders(pkgCache::DepIterator const &Dep) : Pkg(Dep.TargetPkg()) {};
949 //bool operator() (APT::VersionList::iterator const &AV, APT::VersionList::iterator const &BV)
950 bool operator() (pkgCache::VerIterator const &AV, pkgCache::VerIterator const &BV)
951 {
952 pkgCache::PkgIterator const A = AV.ParentPkg();
953 pkgCache::PkgIterator const B = BV.ParentPkg();
954 // Prefer packages in the same group as the target; e.g. foo:i386, foo:amd64
955 if (A->Group != B->Group)
956 {
957 if (A->Group == Pkg->Group && B->Group != Pkg->Group)
958 return false;
959 else if (B->Group == Pkg->Group && A->Group != Pkg->Group)
960 return true;
961 }
962 // we like essentials
963 if ((A->Flags & pkgCache::Flag::Essential) != (B->Flags & pkgCache::Flag::Essential))
964 {
965 if ((A->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential)
966 return false;
967 else if ((B->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential)
968 return true;
969 }
970 if ((A->Flags & pkgCache::Flag::Important) != (B->Flags & pkgCache::Flag::Important))
971 {
972 if ((A->Flags & pkgCache::Flag::Important) == pkgCache::Flag::Important)
973 return false;
974 else if ((B->Flags & pkgCache::Flag::Important) == pkgCache::Flag::Important)
975 return true;
976 }
977 // higher priority seems like a good idea
978 if (AV->Priority != BV->Priority)
979 return AV->Priority < BV->Priority;
980 // prefer native architecture
981 if (strcmp(A.Arch(), B.Arch()) != 0)
982 {
983 if (strcmp(A.Arch(), A.Cache()->NativeArch()) == 0)
984 return false;
985 else if (strcmp(B.Arch(), B.Cache()->NativeArch()) == 0)
986 return true;
987 std::vector<std::string> archs = APT::Configuration::getArchitectures();
988 for (std::vector<std::string>::const_iterator a = archs.begin(); a != archs.end(); ++a)
989 if (*a == A.Arch())
990 return false;
991 else if (*a == B.Arch())
992 return true;
993 }
994 // unable to decide…
995 return A->ID < B->ID;
996 }
997};
998bool pkgDepCache::MarkInstall(PkgIterator const &Pkg,bool AutoInst,
999 unsigned long Depth, bool FromUser,
1000 bool ForceImportantDeps)
1001{
1002 if (IsModeChangeOk(ModeInstall, Pkg, Depth, FromUser) == false)
1003 return false;
1004
1005 StateCache &P = PkgState[Pkg->ID];
1006
1007 // See if there is even any possible instalation candidate
1008 if (P.CandidateVer == 0)
1009 return false;
1010
1011 /* Check that it is not already marked for install and that it can be
1012 installed */
1013 if ((P.InstPolicyBroken() == false && P.InstBroken() == false) &&
1014 (P.Mode == ModeInstall ||
1015 P.CandidateVer == (Version *)Pkg.CurrentVer()))
1016 {
1017 if (P.CandidateVer == (Version *)Pkg.CurrentVer() && P.InstallVer == 0)
1018 return MarkKeep(Pkg, false, FromUser, Depth+1);
1019 return true;
1020 }
1021
1022 // check if we are allowed to install the package
1023 if (IsInstallOk(Pkg,AutoInst,Depth,FromUser) == false)
1024 return false;
1025
1026 ActionGroup group(*this);
1027 P.iFlags &= ~AutoKept;
1028
1029 /* Target the candidate version and remove the autoflag. We reset the
1030 autoflag below if this was called recursively. Otherwise the user
1031 should have the ability to de-auto a package by changing its state */
1032 RemoveSizes(Pkg);
1033 RemoveStates(Pkg);
1034
1035 P.Mode = ModeInstall;
1036 P.InstallVer = P.CandidateVer;
1037
1038 if(FromUser)
1039 {
1040 // Set it to manual if it's a new install or already installed,
1041 // but only if its not marked by the autoremover (aptitude depend on this behavior)
1042 // or if we do automatic installation (aptitude never does it)
1043 if(P.Status == 2 || (Pkg->CurrentVer != 0 && (AutoInst == true || P.Marked == false)))
1044 P.Flags &= ~Flag::Auto;
1045 }
1046 else
1047 {
1048 // Set it to auto if this is a new install.
1049 if(P.Status == 2)
1050 P.Flags |= Flag::Auto;
1051 }
1052 if (P.CandidateVer == (Version *)Pkg.CurrentVer())
1053 P.Mode = ModeKeep;
1054
1055 AddStates(Pkg);
1056 Update(Pkg);
1057 AddSizes(Pkg);
1058
1059 if (AutoInst == false || _config->Find("APT::Solver", "internal") != "internal")
1060 return true;
1061
1062 if (DebugMarker == true)
1063 std::clog << OutputInDepth(Depth) << "MarkInstall " << Pkg << " FU=" << FromUser << std::endl;
1064
1065 DepIterator Dep = P.InstVerIter(*this).DependsList();
1066 for (; Dep.end() != true;)
1067 {
1068 // Grok or groups
1069 DepIterator Start = Dep;
1070 bool Result = true;
1071 unsigned Ors = 0;
1072 for (bool LastOR = true; Dep.end() == false && LastOR == true; ++Dep, ++Ors)
1073 {
1074 LastOR = (Dep->CompareOp & Dep::Or) == Dep::Or;
1075
1076 if ((DepState[Dep->ID] & DepInstall) == DepInstall)
1077 Result = false;
1078 }
1079
1080 // Dep is satisfied okay.
1081 if (Result == false)
1082 continue;
1083
1084 /* Check if this dep should be consider for install. If it is a user
1085 defined important dep and we are installed a new package then
1086 it will be installed. Otherwise we only check for important
1087 deps that have changed from the installed version
1088 */
1089 if (IsImportantDep(Start) == false)
1090 continue;
1091
1092 /* If we are in an or group locate the first or that can
1093 succeed. We have already cached this.. */
1094 for (; Ors > 1 && (DepState[Start->ID] & DepCVer) != DepCVer; --Ors)
1095 ++Start;
1096 if (Ors == 1 && (DepState[Start->ID] &DepCVer) != DepCVer && Start.IsNegative() == false)
1097 {
1098 if(DebugAutoInstall == true)
1099 std::clog << OutputInDepth(Depth) << Start << " can't be satisfied!" << std::endl;
1100 if (Start.IsCritical() == false)
1101 continue;
1102 // if the dependency was critical, we can't install it, so remove it again
1103 MarkDelete(Pkg,false,Depth + 1, false);
1104 return false;
1105 }
1106
1107 /* Check if any ImportantDep() (but not Critical) were added
1108 * since we installed the package. Also check for deps that
1109 * were satisfied in the past: for instance, if a version
1110 * restriction in a Recommends was tightened, upgrading the
1111 * package should follow that Recommends rather than causing the
1112 * dependency to be removed. (bug #470115)
1113 */
1114 if (Pkg->CurrentVer != 0 && ForceImportantDeps == false && Start.IsCritical() == false)
1115 {
1116 bool isNewImportantDep = true;
1117 bool isPreviouslySatisfiedImportantDep = false;
1118 for (DepIterator D = Pkg.CurrentVer().DependsList(); D.end() != true; ++D)
1119 {
1120 //FIXME: Should we handle or-group better here?
1121 // We do not check if the package we look for is part of the same or-group
1122 // we might find while searching, but could that really be a problem?
1123 if (D.IsCritical() == true || IsImportantDep(D) == false ||
1124 Start.TargetPkg() != D.TargetPkg())
1125 continue;
1126
1127 isNewImportantDep = false;
1128
1129 while ((D->CompareOp & Dep::Or) != 0)
1130 ++D;
1131
1132 isPreviouslySatisfiedImportantDep = (((*this)[D] & DepGNow) != 0);
1133 if (isPreviouslySatisfiedImportantDep == true)
1134 break;
1135 }
1136
1137 if(isNewImportantDep == true)
1138 {
1139 if (DebugAutoInstall == true)
1140 std::clog << OutputInDepth(Depth) << "new important dependency: "
1141 << Start.TargetPkg().FullName() << std::endl;
1142 }
1143 else if(isPreviouslySatisfiedImportantDep == true)
1144 {
1145 if (DebugAutoInstall == true)
1146 std::clog << OutputInDepth(Depth) << "previously satisfied important dependency on "
1147 << Start.TargetPkg().FullName() << std::endl;
1148 }
1149 else
1150 {
1151 if (DebugAutoInstall == true)
1152 std::clog << OutputInDepth(Depth) << "ignore old unsatisfied important dependency on "
1153 << Start.TargetPkg().FullName() << std::endl;
1154 continue;
1155 }
1156 }
1157
1158 /* This bit is for processing the possibilty of an install/upgrade
1159 fixing the problem for "positive" dependencies */
1160 if (Start.IsNegative() == false && (DepState[Start->ID] & DepCVer) == DepCVer)
1161 {
1162 APT::VersionList verlist;
1163 pkgCache::VerIterator Cand = PkgState[Start.TargetPkg()->ID].CandidateVerIter(*this);
1164 if (Cand.end() == false && VS().CheckDep(Cand.VerStr(), Start->CompareOp, Start.TargetVer()) == true)
1165 verlist.insert(Cand);
1166 for (PrvIterator Prv = Start.TargetPkg().ProvidesList(); Prv.end() != true; ++Prv)
1167 {
1168 pkgCache::VerIterator V = Prv.OwnerVer();
1169 pkgCache::VerIterator Cand = PkgState[Prv.OwnerPkg()->ID].CandidateVerIter(*this);
1170 if (Cand.end() == true || V != Cand ||
1171 VS().CheckDep(Prv.ProvideVersion(), Start->CompareOp, Start.TargetVer()) == false)
1172 continue;
1173 verlist.insert(Cand);
1174 }
1175 CompareProviders comp(Start);
1176 APT::VersionList::iterator InstVer = std::max_element(verlist.begin(), verlist.end(), comp);
1177
1178 if (InstVer != verlist.end())
1179 {
1180 pkgCache::PkgIterator InstPkg = InstVer.ParentPkg();
1181 if(DebugAutoInstall == true)
1182 std::clog << OutputInDepth(Depth) << "Installing " << InstPkg.Name()
1183 << " as " << Start.DepType() << " of " << Pkg.Name()
1184 << std::endl;
1185 MarkInstall(InstPkg, true, Depth + 1, false, ForceImportantDeps);
1186 // now check if we should consider it a automatic dependency or not
1187 if(InstPkg->CurrentVer == 0 && Pkg->Section != 0 && ConfigValueInSubTree("APT::Never-MarkAuto-Sections", Pkg.Section()))
1188 {
1189 if(DebugAutoInstall == true)
1190 std::clog << OutputInDepth(Depth) << "Setting NOT as auto-installed (direct "
1191 << Start.DepType() << " of pkg in APT::Never-MarkAuto-Sections)" << std::endl;
1192 MarkAuto(InstPkg, false);
1193 }
1194 }
1195 continue;
1196 }
1197 /* Negative dependencies have no or-group
1198 If the dependency isn't versioned, we try if an upgrade might solve the problem.
1199 Otherwise we remove the offender if needed */
1200 else if (Start.IsNegative() == true && Start->Type != pkgCache::Dep::Obsoletes)
1201 {
1202 SPtrArray<Version *> List = Start.AllTargets();
1203 pkgCache::PkgIterator TrgPkg = Start.TargetPkg();
1204 for (Version **I = List; *I != 0; I++)
1205 {
1206 VerIterator Ver(*this,*I);
1207 PkgIterator Pkg = Ver.ParentPkg();
1208
1209 /* The List includes all packages providing this dependency,
1210 even providers which are not installed, so skip them. */
1211 if (PkgState[Pkg->ID].InstallVer == 0)
1212 continue;
1213
1214 if ((Start->Version != 0 || TrgPkg != Pkg) &&
1215 PkgState[Pkg->ID].CandidateVer != PkgState[Pkg->ID].InstallVer &&
1216 PkgState[Pkg->ID].CandidateVer != *I &&
1217 MarkInstall(Pkg,true,Depth + 1, false, ForceImportantDeps) == true)
1218 continue;
1219 else if ((Start->Type == pkgCache::Dep::Conflicts || Start->Type == pkgCache::Dep::DpkgBreaks) &&
1220 MarkDelete(Pkg,false,Depth + 1, false) == false)
1221 break;
1222 }
1223 continue;
1224 }
1225 }
1226
1227 return Dep.end() == true;
1228}
1229 /*}}}*/
1230// DepCache::IsInstallOk - check if it is ok to install this package /*{{{*/
1231// ---------------------------------------------------------------------
1232/* The default implementation does nothing.
1233 dpkg holds are enforced by the private IsModeChangeOk */
1234bool pkgDepCache::IsInstallOk(PkgIterator const &Pkg,bool AutoInst,
1235 unsigned long Depth, bool FromUser)
1236{
1237 return true;
1238}
1239 /*}}}*/
1240// DepCache::SetReInstall - Set the reinstallation flag /*{{{*/
1241// ---------------------------------------------------------------------
1242/* */
1243void pkgDepCache::SetReInstall(PkgIterator const &Pkg,bool To)
1244{
1245 if (unlikely(Pkg.end() == true))
1246 return;
1247
1248 APT::PackageList pkglist;
1249 if (Pkg->CurrentVer != 0 &&
1250 (Pkg.CurrentVer()-> MultiArch & pkgCache::Version::Same) == pkgCache::Version::Same)
1251 {
1252 pkgCache::GrpIterator Grp = Pkg.Group();
1253 for (pkgCache::PkgIterator P = Grp.PackageList(); P.end() == false; P = Grp.NextPkg(P))
1254 {
1255 if (P->CurrentVer != 0)
1256 pkglist.insert(P);
1257 }
1258 }
1259 else
1260 pkglist.insert(Pkg);
1261
1262 ActionGroup group(*this);
1263
1264 for (APT::PackageList::const_iterator Pkg = pkglist.begin(); Pkg != pkglist.end(); ++Pkg)
1265 {
1266 RemoveSizes(Pkg);
1267 RemoveStates(Pkg);
1268
1269 StateCache &P = PkgState[Pkg->ID];
1270 if (To == true)
1271 P.iFlags |= ReInstall;
1272 else
1273 P.iFlags &= ~ReInstall;
1274
1275 AddStates(Pkg);
1276 AddSizes(Pkg);
1277 }
1278}
1279 /*}}}*/
1280// DepCache::SetCandidateVersion - Change the candidate version /*{{{*/
1281// ---------------------------------------------------------------------
1282/* */
1283void pkgDepCache::SetCandidateVersion(VerIterator TargetVer)
1284{
1285 pkgCache::PkgIterator Pkg = TargetVer.ParentPkg();
1286 StateCache &P = PkgState[Pkg->ID];
1287
1288 if (P.CandidateVer == TargetVer)
1289 return;
1290
1291 ActionGroup group(*this);
1292
1293 RemoveSizes(Pkg);
1294 RemoveStates(Pkg);
1295
1296 if (P.CandidateVer == P.InstallVer && P.Install() == true)
1297 P.InstallVer = (Version *)TargetVer;
1298 P.CandidateVer = (Version *)TargetVer;
1299 P.Update(Pkg,*this);
1300
1301 AddStates(Pkg);
1302 Update(Pkg);
1303 AddSizes(Pkg);
1304
1305}
1306 /*}}}*/
1307// DepCache::SetCandidateRelease - Change the candidate version /*{{{*/
1308// ---------------------------------------------------------------------
1309/* changes the candidate of a package and walks over all its dependencies
1310 to check if it needs to change the candidate of the dependency, too,
1311 to reach a installable versionstate */
1312bool pkgDepCache::SetCandidateRelease(pkgCache::VerIterator TargetVer,
1313 std::string const &TargetRel)
1314{
1315 std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> > Changed;
1316 return SetCandidateRelease(TargetVer, TargetRel, Changed);
1317}
1318bool pkgDepCache::SetCandidateRelease(pkgCache::VerIterator TargetVer,
1319 std::string const &TargetRel,
1320 std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> > &Changed)
1321{
1322 ActionGroup group(*this);
1323 SetCandidateVersion(TargetVer);
1324
1325 if (TargetRel == "installed" || TargetRel == "candidate") // both doesn't make sense in this context
1326 return true;
1327
1328 pkgVersionMatch Match(TargetRel, pkgVersionMatch::Release);
1329 // save the position of the last element we will not undo - if we have to
1330 std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> >::iterator newChanged = --(Changed.end());
1331
1332 for (pkgCache::DepIterator D = TargetVer.DependsList(); D.end() == false; ++D)
1333 {
1334 if (D->Type != pkgCache::Dep::PreDepends && D->Type != pkgCache::Dep::Depends &&
1335 ((D->Type != pkgCache::Dep::Recommends && D->Type != pkgCache::Dep::Suggests) ||
1336 IsImportantDep(D) == false))
1337 continue;
1338
1339 // walk over an or-group and check if we need to do anything
1340 // for simpilicity no or-group is handled as a or-group including one dependency
1341 pkgCache::DepIterator Start = D;
1342 bool itsFine = false;
1343 for (bool stillOr = true; stillOr == true; ++Start)
1344 {
1345 stillOr = (Start->CompareOp & Dep::Or) == Dep::Or;
1346 pkgCache::PkgIterator const P = Start.TargetPkg();
1347 // virtual packages can't be a solution
1348 if (P.end() == true || (P->ProvidesList == 0 && P->VersionList == 0))
1349 continue;
1350 pkgCache::VerIterator const Cand = PkgState[P->ID].CandidateVerIter(*this);
1351 // no versioned dependency - but is it installable?
1352 if (Start.TargetVer() == 0 || Start.TargetVer()[0] == '\0')
1353 {
1354 // Check if one of the providers is installable
1355 if (P->ProvidesList != 0)
1356 {
1357 pkgCache::PrvIterator Prv = P.ProvidesList();
1358 for (; Prv.end() == false; ++Prv)
1359 {
1360 pkgCache::VerIterator const C = PkgState[Prv.OwnerPkg()->ID].CandidateVerIter(*this);
1361 if (C.end() == true || C != Prv.OwnerVer() ||
1362 (VersionState(C.DependsList(), DepInstall, DepCandMin, DepCandPolicy) & DepCandMin) != DepCandMin)
1363 continue;
1364 break;
1365 }
1366 if (Prv.end() == true)
1367 continue;
1368 }
1369 // no providers, so check if we have an installable candidate version
1370 else if (Cand.end() == true ||
1371 (VersionState(Cand.DependsList(), DepInstall, DepCandMin, DepCandPolicy) & DepCandMin) != DepCandMin)
1372 continue;
1373 itsFine = true;
1374 break;
1375 }
1376 if (Cand.end() == true)
1377 continue;
1378 // check if the current candidate is enough for the versioned dependency - and installable?
1379 if (VS().CheckDep(P.CandVersion(), Start->CompareOp, Start.TargetVer()) == true &&
1380 (VersionState(Cand.DependsList(), DepInstall, DepCandMin, DepCandPolicy) & DepCandMin) == DepCandMin)
1381 {
1382 itsFine = true;
1383 break;
1384 }
1385 }
1386
1387 if (itsFine == true) {
1388 // something in the or-group was fine, skip all other members
1389 for (; (D->CompareOp & Dep::Or) == Dep::Or; ++D);
1390 continue;
1391 }
1392
1393 // walk again over the or-group and check each if a candidate switch would help
1394 itsFine = false;
1395 for (bool stillOr = true; stillOr == true; ++D)
1396 {
1397 stillOr = (D->CompareOp & Dep::Or) == Dep::Or;
1398 // changing candidate will not help if the dependency is not versioned
1399 if (D.TargetVer() == 0 || D.TargetVer()[0] == '\0')
1400 {
1401 if (stillOr == true)
1402 continue;
1403 break;
1404 }
1405
1406 pkgCache::VerIterator V;
1407 if (TargetRel == "newest")
1408 V = D.TargetPkg().VersionList();
1409 else
1410 V = Match.Find(D.TargetPkg());
1411
1412 // check if the version from this release could satisfy the dependency
1413 if (V.end() == true || VS().CheckDep(V.VerStr(), D->CompareOp, D.TargetVer()) == false)
1414 {
1415 if (stillOr == true)
1416 continue;
1417 break;
1418 }
1419
1420 pkgCache::VerIterator oldCand = PkgState[D.TargetPkg()->ID].CandidateVerIter(*this);
1421 if (V == oldCand)
1422 {
1423 // Do we already touched this Version? If so, their versioned dependencies are okay, no need to check again
1424 for (std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> >::const_iterator c = Changed.begin();
1425 c != Changed.end(); ++c)
1426 {
1427 if (c->first->ParentPkg != V->ParentPkg)
1428 continue;
1429 itsFine = true;
1430 break;
1431 }
1432 }
1433
1434 if (itsFine == false)
1435 {
1436 // change the candidate
1437 Changed.push_back(make_pair(oldCand, TargetVer));
1438 if (SetCandidateRelease(V, TargetRel, Changed) == false)
1439 {
1440 if (stillOr == false)
1441 break;
1442 // undo the candidate changing
1443 SetCandidateVersion(oldCand);
1444 Changed.pop_back();
1445 continue;
1446 }
1447 itsFine = true;
1448 }
1449
1450 // something in the or-group was fine, skip all other members
1451 for (; (D->CompareOp & Dep::Or) == Dep::Or; ++D);
1452 break;
1453 }
1454
1455 if (itsFine == false && (D->Type == pkgCache::Dep::PreDepends || D->Type == pkgCache::Dep::Depends))
1456 {
1457 // undo all changes which aren't lead to a solution
1458 for (std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> >::const_iterator c = ++newChanged;
1459 c != Changed.end(); ++c)
1460 SetCandidateVersion(c->first);
1461 Changed.erase(newChanged, Changed.end());
1462 return false;
1463 }
1464 }
1465 return true;
1466}
1467 /*}}}*/
1468// DepCache::MarkAuto - set the Auto flag for a package /*{{{*/
1469// ---------------------------------------------------------------------
1470/* */
1471void pkgDepCache::MarkAuto(const PkgIterator &Pkg, bool Auto)
1472{
1473 StateCache &state = PkgState[Pkg->ID];
1474
1475 ActionGroup group(*this);
1476
1477 if(Auto)
1478 state.Flags |= Flag::Auto;
1479 else
1480 state.Flags &= ~Flag::Auto;
1481}
1482 /*}}}*/
1483// StateCache::Update - Compute the various static display things /*{{{*/
1484// ---------------------------------------------------------------------
1485/* This is called whenever the Candidate version changes. */
1486void pkgDepCache::StateCache::Update(PkgIterator Pkg,pkgCache &Cache)
1487{
1488 // Some info
1489 VerIterator Ver = CandidateVerIter(Cache);
1490
1491 // Use a null string or the version string
1492 if (Ver.end() == true)
1493 CandVersion = "";
1494 else
1495 CandVersion = Ver.VerStr();
1496
1497 // Find the current version
1498 CurVersion = "";
1499 if (Pkg->CurrentVer != 0)
1500 CurVersion = Pkg.CurrentVer().VerStr();
1501
1502 // Strip off the epochs for display
1503 CurVersion = StripEpoch(CurVersion);
1504 CandVersion = StripEpoch(CandVersion);
1505
1506 // Figure out if its up or down or equal
1507 Status = Ver.CompareVer(Pkg.CurrentVer());
1508 if (Pkg->CurrentVer == 0 || Pkg->VersionList == 0 || CandidateVer == 0)
1509 Status = 2;
1510}
1511 /*}}}*/
1512// StateCache::StripEpoch - Remove the epoch specifier from the version /*{{{*/
1513// ---------------------------------------------------------------------
1514/* */
1515const char *pkgDepCache::StateCache::StripEpoch(const char *Ver)
1516{
1517 if (Ver == 0)
1518 return 0;
1519
1520 // Strip any epoch
1521 for (const char *I = Ver; *I != 0; I++)
1522 if (*I == ':')
1523 return I + 1;
1524 return Ver;
1525}
1526 /*}}}*/
1527// Policy::GetCandidateVer - Returns the Candidate install version /*{{{*/
1528// ---------------------------------------------------------------------
1529/* The default just returns the highest available version that is not
1530 a source and automatic. */
1531pkgCache::VerIterator pkgDepCache::Policy::GetCandidateVer(PkgIterator const &Pkg)
1532{
1533 /* Not source/not automatic versions cannot be a candidate version
1534 unless they are already installed */
1535 VerIterator Last(*(pkgCache *)this,0);
1536
1537 for (VerIterator I = Pkg.VersionList(); I.end() == false; ++I)
1538 {
1539 if (Pkg.CurrentVer() == I)
1540 return I;
1541
1542 for (VerFileIterator J = I.FileList(); J.end() == false; ++J)
1543 {
1544 if ((J.File()->Flags & Flag::NotSource) != 0)
1545 continue;
1546
1547 /* Stash the highest version of a not-automatic source, we use it
1548 if there is nothing better */
1549 if ((J.File()->Flags & Flag::NotAutomatic) != 0 ||
1550 (J.File()->Flags & Flag::ButAutomaticUpgrades) != 0)
1551 {
1552 if (Last.end() == true)
1553 Last = I;
1554 continue;
1555 }
1556
1557 return I;
1558 }
1559 }
1560
1561 return Last;
1562}
1563 /*}}}*/
1564// Policy::IsImportantDep - True if the dependency is important /*{{{*/
1565// ---------------------------------------------------------------------
1566/* */
1567bool pkgDepCache::Policy::IsImportantDep(DepIterator const &Dep)
1568{
1569 if(Dep.IsCritical())
1570 return true;
1571 else if(Dep->Type == pkgCache::Dep::Recommends)
1572 {
1573 if (InstallRecommends)
1574 return true;
1575 // we suport a special mode to only install-recommends for certain
1576 // sections
1577 // FIXME: this is a meant as a temporarly solution until the
1578 // recommends are cleaned up
1579 const char *sec = Dep.ParentVer().Section();
1580 if (sec && ConfigValueInSubTree("APT::Install-Recommends-Sections", sec))
1581 return true;
1582 }
1583 else if(Dep->Type == pkgCache::Dep::Suggests)
1584 return InstallSuggests;
1585
1586 return false;
1587}
1588 /*}}}*/
1589// Policy::GetPriority - Get the priority of the package pin /*{{{*/
1590signed short pkgDepCache::Policy::GetPriority(pkgCache::PkgIterator const &Pkg)
1591{ return 0; };
1592signed short pkgDepCache::Policy::GetPriority(pkgCache::PkgFileIterator const &File)
1593{ return 0; };
1594 /*}}}*/
1595pkgDepCache::InRootSetFunc *pkgDepCache::GetRootSetFunc() /*{{{*/
1596{
1597 DefaultRootSetFunc *f = new DefaultRootSetFunc;
1598 if(f->wasConstructedSuccessfully())
1599 return f;
1600 else
1601 {
1602 delete f;
1603 return NULL;
1604 }
1605}
1606 /*}}}*/
1607bool pkgDepCache::MarkFollowsRecommends()
1608{
1609 return _config->FindB("APT::AutoRemove::RecommendsImportant", true);
1610}
1611
1612bool pkgDepCache::MarkFollowsSuggests()
1613{
1614 return _config->FindB("APT::AutoRemove::SuggestsImportant", true);
1615}
1616
1617// pkgDepCache::MarkRequired - the main mark algorithm /*{{{*/
1618bool pkgDepCache::MarkRequired(InRootSetFunc &userFunc)
1619{
1620 if (_config->Find("APT::Solver", "internal") != "internal")
1621 return true;
1622
1623 bool follow_recommends;
1624 bool follow_suggests;
1625 bool debug_autoremove = _config->FindB("Debug::pkgAutoRemove",false);
1626
1627 // init the states
1628 for(PkgIterator p = PkgBegin(); !p.end(); ++p)
1629 {
1630 PkgState[p->ID].Marked = false;
1631 PkgState[p->ID].Garbage = false;
1632
1633 // debug output
1634 if(debug_autoremove && PkgState[p->ID].Flags & Flag::Auto)
1635 std::clog << "AutoDep: " << p.FullName() << std::endl;
1636 }
1637
1638 // init vars
1639 follow_recommends = MarkFollowsRecommends();
1640 follow_suggests = MarkFollowsSuggests();
1641
1642
1643
1644 // do the mark part, this is the core bit of the algorithm
1645 for(PkgIterator p = PkgBegin(); !p.end(); ++p)
1646 {
1647 if(!(PkgState[p->ID].Flags & Flag::Auto) ||
1648 (p->Flags & Flag::Essential) ||
1649 (p->Flags & Flag::Important) ||
1650 userFunc.InRootSet(p) ||
1651 // be nice even then a required package violates the policy (#583517)
1652 // and do the full mark process also for required packages
1653 (p.CurrentVer().end() != true &&
1654 p.CurrentVer()->Priority == pkgCache::State::Required))
1655 {
1656 // the package is installed (and set to keep)
1657 if(PkgState[p->ID].Keep() && !p.CurrentVer().end())
1658 MarkPackage(p, p.CurrentVer(),
1659 follow_recommends, follow_suggests);
1660 // the package is to be installed
1661 else if(PkgState[p->ID].Install())
1662 MarkPackage(p, PkgState[p->ID].InstVerIter(*this),
1663 follow_recommends, follow_suggests);
1664 }
1665 }
1666
1667 return true;
1668}
1669 /*}}}*/
1670// MarkPackage - mark a single package in Mark-and-Sweep /*{{{*/
1671void pkgDepCache::MarkPackage(const pkgCache::PkgIterator &pkg,
1672 const pkgCache::VerIterator &ver,
1673 bool const &follow_recommends,
1674 bool const &follow_suggests)
1675{
1676 pkgDepCache::StateCache &state = PkgState[pkg->ID];
1677
1678 // if we are marked already we are done
1679 if(state.Marked)
1680 return;
1681
1682 VerIterator const currver = pkg.CurrentVer();
1683 VerIterator const instver = state.InstVerIter(*this);
1684
1685#if 0
1686 VerIterator const candver = state.CandidateVerIter(*this);
1687
1688 // If a package was garbage-collected but is now being marked, we
1689 // should re-select it
1690 // For cases when a pkg is set to upgrade and this trigger the
1691 // removal of a no-longer used dependency. if the pkg is set to
1692 // keep again later it will result in broken deps
1693 if(state.Delete() && state.RemoveReason = Unused)
1694 {
1695 if(ver==candver)
1696 mark_install(pkg, false, false, NULL);
1697 else if(ver==pkg.CurrentVer())
1698 MarkKeep(pkg, false, false);
1699
1700 instver=state.InstVerIter(*this);
1701 }
1702#endif
1703
1704 // For packages that are not going to be removed, ignore versions
1705 // other than the InstVer. For packages that are going to be
1706 // removed, ignore versions other than the current version.
1707 if(!(ver == instver && !instver.end()) &&
1708 !(ver == currver && instver.end() && !ver.end()))
1709 return;
1710
1711 bool const debug_autoremove = _config->FindB("Debug::pkgAutoRemove", false);
1712
1713 if(debug_autoremove)
1714 {
1715 std::clog << "Marking: " << pkg.FullName();
1716 if(!ver.end())
1717 std::clog << " " << ver.VerStr();
1718 if(!currver.end())
1719 std::clog << ", Curr=" << currver.VerStr();
1720 if(!instver.end())
1721 std::clog << ", Inst=" << instver.VerStr();
1722 std::clog << std::endl;
1723 }
1724
1725 state.Marked=true;
1726
1727 if(ver.end() == true)
1728 return;
1729
1730 for(DepIterator d = ver.DependsList(); !d.end(); ++d)
1731 {
1732 if(d->Type == Dep::Depends ||
1733 d->Type == Dep::PreDepends ||
1734 (follow_recommends &&
1735 d->Type == Dep::Recommends) ||
1736 (follow_suggests &&
1737 d->Type == Dep::Suggests))
1738 {
1739 // Try all versions of this package.
1740 for(VerIterator V = d.TargetPkg().VersionList();
1741 !V.end(); ++V)
1742 {
1743 if(_system->VS->CheckDep(V.VerStr(), d->CompareOp, d.TargetVer()))
1744 {
1745 if(debug_autoremove)
1746 {
1747 std::clog << "Following dep: " << d.ParentPkg().FullName()
1748 << " " << d.ParentVer().VerStr() << " "
1749 << d.DepType() << " " << d.TargetPkg().FullName();
1750 if((d->CompareOp & ~pkgCache::Dep::Or) != pkgCache::Dep::NoOp)
1751 {
1752 std::clog << " (" << d.CompType() << " "
1753 << d.TargetVer() << ")";
1754 }
1755 std::clog << std::endl;
1756 }
1757 MarkPackage(V.ParentPkg(), V,
1758 follow_recommends, follow_suggests);
1759 }
1760 }
1761 // Now try virtual packages
1762 for(PrvIterator prv=d.TargetPkg().ProvidesList();
1763 !prv.end(); ++prv)
1764 {
1765 if(_system->VS->CheckDep(prv.ProvideVersion(), d->CompareOp,
1766 d.TargetVer()))
1767 {
1768 if(debug_autoremove)
1769 {
1770 std::clog << "Following dep: " << d.ParentPkg().FullName() << " "
1771 << d.ParentVer().VerStr() << " "
1772 << d.DepType() << " " << d.TargetPkg().FullName() << " ";
1773 if((d->CompareOp & ~pkgCache::Dep::Or) != pkgCache::Dep::NoOp)
1774 {
1775 std::clog << " (" << d.CompType() << " "
1776 << d.TargetVer() << ")";
1777 }
1778 std::clog << ", provided by "
1779 << prv.OwnerPkg().FullName() << " "
1780 << prv.OwnerVer().VerStr()
1781 << std::endl;
1782 }
1783
1784 MarkPackage(prv.OwnerPkg(), prv.OwnerVer(),
1785 follow_recommends, follow_suggests);
1786 }
1787 }
1788 }
1789 }
1790}
1791 /*}}}*/
1792bool pkgDepCache::Sweep() /*{{{*/
1793{
1794 bool debug_autoremove = _config->FindB("Debug::pkgAutoRemove",false);
1795
1796 // do the sweep
1797 for(PkgIterator p=PkgBegin(); !p.end(); ++p)
1798 {
1799 StateCache &state=PkgState[p->ID];
1800
1801 // skip required packages
1802 if (!p.CurrentVer().end() &&
1803 (p.CurrentVer()->Priority == pkgCache::State::Required))
1804 continue;
1805
1806 // if it is not marked and it is installed, it's garbage
1807 if(!state.Marked && (!p.CurrentVer().end() || state.Install()))
1808 {
1809 state.Garbage=true;
1810 if(debug_autoremove)
1811 std::clog << "Garbage: " << p.FullName() << std::endl;
1812 }
1813 }
1814
1815 return true;
1816}
1817 /*}}}*/