1 // -*- mode: cpp; mode: fold -*-
3 // $Id: depcache.cc,v 1.25 2001/05/27 05:36:04 jgg Exp $
4 /* ######################################################################
6 Dependency Cache - Caches Dependency information.
8 ##################################################################### */
10 // Include Files /*{{{*/
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>
20 #include <apt-pkg/fileutl.h>
21 #include <apt-pkg/strutl.h>
22 #include <apt-pkg/configuration.h>
23 #include <apt-pkg/aptconfiguration.h>
24 #include <apt-pkg/pkgsystem.h>
25 #include <apt-pkg/tagfile.h>
35 // helper for Install-Recommends-Sections and Never-MarkAuto-Sections /*{{{*/
37 ConfigValueInSubTree(const char* SubTree
, const char *needle
)
39 Configuration::Item
const *Opts
;
40 Opts
= _config
->Tree(SubTree
);
41 if (Opts
!= 0 && Opts
->Child
!= 0)
44 for (; Opts
!= 0; Opts
= Opts
->Next
)
46 if (Opts
->Value
.empty() == true)
48 if (strcmp(needle
, Opts
->Value
.c_str()) == 0)
55 pkgDepCache::ActionGroup::ActionGroup(pkgDepCache
&cache
) : /*{{{*/
56 cache(cache
), released(false)
61 void pkgDepCache::ActionGroup::release()
65 if(cache
.group_level
== 0)
66 std::cerr
<< "W: Unbalanced action groups, expect badness" << std::endl
;
71 if(cache
.group_level
== 0)
79 pkgDepCache::ActionGroup::~ActionGroup()
84 // DepCache::pkgDepCache - Constructors /*{{{*/
85 // ---------------------------------------------------------------------
87 pkgDepCache::pkgDepCache(pkgCache
*pCache
,Policy
*Plcy
) :
88 group_level(0), Cache(pCache
), PkgState(0), DepState(0)
90 DebugMarker
= _config
->FindB("Debug::pkgDepCache::Marker", false);
91 DebugAutoInstall
= _config
->FindB("Debug::pkgDepCache::AutoInstall", false);
95 delLocalPolicy
= LocalPolicy
= new Policy
;
98 // DepCache::~pkgDepCache - Destructor /*{{{*/
99 // ---------------------------------------------------------------------
101 pkgDepCache::~pkgDepCache()
105 delete delLocalPolicy
;
108 // DepCache::Init - Generate the initial extra structures. /*{{{*/
109 // ---------------------------------------------------------------------
110 /* This allocats the extension buffers and initializes them. */
111 bool pkgDepCache::Init(OpProgress
*Prog
)
113 // Suppress mark updates during this operation (just in case) and
114 // run a mark operation when Init terminates.
115 ActionGroup
actions(*this);
119 PkgState
= new StateCache
[Head().PackageCount
];
120 DepState
= new unsigned char[Head().DependsCount
];
121 memset(PkgState
,0,sizeof(*PkgState
)*Head().PackageCount
);
122 memset(DepState
,0,sizeof(*DepState
)*Head().DependsCount
);
126 Prog
->OverallProgress(0,2*Head().PackageCount
,Head().PackageCount
,
127 _("Building dependency tree"));
128 Prog
->SubProgress(Head().PackageCount
,_("Candidate versions"));
131 /* Set the current state of everything. In this state all of the
132 packages are kept exactly as is. See AllUpgrade */
134 for (PkgIterator I
= PkgBegin(); I
.end() != true; I
++,Done
++)
136 if (Prog
!= 0 && Done%20
== 0)
137 Prog
->Progress(Done
);
139 // Find the proper cache slot
140 StateCache
&State
= PkgState
[I
->ID
];
143 // Figure out the install version
144 State
.CandidateVer
= GetCandidateVer(I
);
145 State
.InstallVer
= I
.CurrentVer();
146 State
.Mode
= ModeKeep
;
148 State
.Update(I
,*this);
154 Prog
->OverallProgress(Head().PackageCount
,2*Head().PackageCount
,
156 _("Building dependency tree"));
157 Prog
->SubProgress(Head().PackageCount
,_("Dependency generation"));
168 bool pkgDepCache::readStateFile(OpProgress
*Prog
) /*{{{*/
171 string
const state
= _config
->FindFile("Dir::State::extended_states");
172 if(RealFileExists(state
)) {
173 state_file
.Open(state
, FileFd::ReadOnly
);
174 int const file_size
= state_file
.Size();
176 Prog
->OverallProgress(0, file_size
, 1,
177 _("Reading state information"));
179 pkgTagFile
tagfile(&state_file
);
180 pkgTagSection section
;
182 bool const debug_autoremove
= _config
->FindB("Debug::pkgAutoRemove",false);
183 while(tagfile
.Step(section
)) {
184 string
const pkgname
= section
.FindS("Package");
185 string pkgarch
= section
.FindS("Architecture");
186 if (pkgarch
.empty() == true)
188 pkgCache::PkgIterator pkg
= Cache
->FindPkg(pkgname
, pkgarch
);
189 // Silently ignore unknown packages and packages with no actual version.
190 if(pkg
.end() == true || pkg
->VersionList
== 0)
193 short const reason
= section
.FindI("Auto-Installed", 0);
196 PkgState
[pkg
->ID
].Flags
|= Flag::Auto
;
197 if (unlikely(debug_autoremove
))
198 std::clog
<< "Auto-Installed : " << pkg
.FullName() << std::endl
;
199 if (pkgarch
== "any")
201 pkgCache::GrpIterator G
= pkg
.Group();
202 for (pkg
= G
.NextPkg(pkg
); pkg
.end() != true; pkg
= G
.NextPkg(pkg
))
203 if (pkg
->VersionList
!= 0)
204 PkgState
[pkg
->ID
].Flags
|= Flag::Auto
;
207 amt
+= section
.size();
209 Prog
->OverallProgress(amt
, file_size
, 1,
210 _("Reading state information"));
213 Prog
->OverallProgress(file_size
, file_size
, 1,
214 _("Reading state information"));
220 bool pkgDepCache::writeStateFile(OpProgress
*prog
, bool InstalledOnly
) /*{{{*/
222 bool const debug_autoremove
= _config
->FindB("Debug::pkgAutoRemove",false);
225 std::clog
<< "pkgDepCache::writeStateFile()" << std::endl
;
228 string
const state
= _config
->FindFile("Dir::State::extended_states");
230 // if it does not exist, create a empty one
231 if(!RealFileExists(state
))
233 StateFile
.Open(state
, FileFd::WriteAtomic
);
238 if(!StateFile
.Open(state
, FileFd::ReadOnly
))
239 return _error
->Error(_("Failed to open StateFile %s"),
243 string
const outfile
= state
+ ".tmp";
244 if((OutFile
= fopen(outfile
.c_str(),"w")) == NULL
)
245 return _error
->Error(_("Failed to write temporary StateFile %s"),
248 // first merge with the existing sections
249 pkgTagFile
tagfile(&StateFile
);
250 pkgTagSection section
;
251 std::set
<string
> pkgs_seen
;
252 const char *nullreorderlist
[] = {0};
253 while(tagfile
.Step(section
)) {
254 string
const pkgname
= section
.FindS("Package");
255 string pkgarch
= section
.FindS("Architecture");
256 if (pkgarch
.empty() == true)
258 // Silently ignore unknown packages and packages with no actual
260 pkgCache::PkgIterator pkg
= Cache
->FindPkg(pkgname
, pkgarch
);
261 if(pkg
.end() || pkg
.VersionList().end())
263 StateCache
const &P
= PkgState
[pkg
->ID
];
264 bool newAuto
= (P
.Flags
& Flag::Auto
);
265 // skip not installed or now-removed ones if requested
266 if (InstalledOnly
&& (
267 (pkg
->CurrentVer
== 0 && P
.Mode
!= ModeInstall
) ||
268 (pkg
->CurrentVer
!= 0 && P
.Mode
== ModeDelete
)))
270 // The section is obsolete if it contains no other tag
271 unsigned int const count
= section
.Count();
273 (count
== 2 && section
.Exists("Auto-Installed")) ||
274 (count
== 3 && section
.Exists("Auto-Installed") && section
.Exists("Architecture")))
279 if(_config
->FindB("Debug::pkgAutoRemove",false))
280 std::clog
<< "Update existing AutoInstall info: "
281 << pkg
.FullName() << std::endl
;
282 TFRewriteData rewrite
[3];
283 rewrite
[0].Tag
= "Architecture";
284 rewrite
[0].Rewrite
= pkg
.Arch();
285 rewrite
[0].NewTag
= 0;
286 rewrite
[1].Tag
= "Auto-Installed";
287 rewrite
[1].Rewrite
= newAuto
? "1" : "0";
288 rewrite
[1].NewTag
= 0;
290 TFRewrite(OutFile
, section
, nullreorderlist
, rewrite
);
291 fprintf(OutFile
,"\n");
292 pkgs_seen
.insert(pkg
.FullName());
295 // then write the ones we have not seen yet
296 std::ostringstream ostr
;
297 for(pkgCache::PkgIterator pkg
=Cache
->PkgBegin(); !pkg
.end(); pkg
++) {
298 StateCache
const &P
= PkgState
[pkg
->ID
];
299 if(P
.Flags
& Flag::Auto
) {
300 if (pkgs_seen
.find(pkg
.FullName()) != pkgs_seen
.end()) {
302 std::clog
<< "Skipping already written " << pkg
.FullName() << std::endl
;
305 // skip not installed ones if requested
306 if (InstalledOnly
&& (
307 (pkg
->CurrentVer
== 0 && P
.Mode
!= ModeInstall
) ||
308 (pkg
->CurrentVer
!= 0 && P
.Mode
== ModeDelete
)))
310 const char* const pkgarch
= pkg
.Arch();
311 if (strcmp(pkgarch
, "all") == 0)
314 std::clog
<< "Writing new AutoInstall: " << pkg
.FullName() << std::endl
;
315 ostr
.str(string(""));
316 ostr
<< "Package: " << pkg
.Name()
317 << "\nArchitecture: " << pkgarch
318 << "\nAuto-Installed: 1\n\n";
319 fprintf(OutFile
,"%s",ostr
.str().c_str());
324 // move the outfile over the real file and set permissions
325 rename(outfile
.c_str(), state
.c_str());
326 chmod(state
.c_str(), 0644);
331 // DepCache::CheckDep - Checks a single dependency /*{{{*/
332 // ---------------------------------------------------------------------
333 /* This first checks the dependency against the main target package and
334 then walks along the package provides list and checks if each provides
335 will be installed then checks the provides against the dep. Res will be
336 set to the package which was used to satisfy the dep. */
337 bool pkgDepCache::CheckDep(DepIterator Dep
,int Type
,PkgIterator
&Res
)
339 Res
= Dep
.TargetPkg();
341 /* Check simple depends. A depends -should- never self match but
342 we allow it anyhow because dpkg does. Technically it is a packaging
343 bug. Conflicts may never self match */
344 if (Dep
.TargetPkg() != Dep
.ParentPkg() || Dep
.IsNegative() == false)
346 PkgIterator Pkg
= Dep
.TargetPkg();
347 // Check the base package
348 if (Type
== NowVersion
&& Pkg
->CurrentVer
!= 0)
349 if (VS().CheckDep(Pkg
.CurrentVer().VerStr(),Dep
->CompareOp
,
350 Dep
.TargetVer()) == true)
353 if (Type
== InstallVersion
&& PkgState
[Pkg
->ID
].InstallVer
!= 0)
354 if (VS().CheckDep(PkgState
[Pkg
->ID
].InstVerIter(*this).VerStr(),
355 Dep
->CompareOp
,Dep
.TargetVer()) == true)
358 if (Type
== CandidateVersion
&& PkgState
[Pkg
->ID
].CandidateVer
!= 0)
359 if (VS().CheckDep(PkgState
[Pkg
->ID
].CandidateVerIter(*this).VerStr(),
360 Dep
->CompareOp
,Dep
.TargetVer()) == true)
364 if (Dep
->Type
== Dep::Obsoletes
)
367 // Check the providing packages
368 PrvIterator P
= Dep
.TargetPkg().ProvidesList();
369 PkgIterator Pkg
= Dep
.ParentPkg();
370 for (; P
.end() != true; P
++)
372 /* Provides may never be applied against the same package (or group)
373 if it is a conflicts. See the comment above. */
374 if (P
.OwnerPkg()->Group
== Pkg
->Group
&& Dep
.IsNegative() == true)
377 // Check if the provides is a hit
378 if (Type
== NowVersion
)
380 if (P
.OwnerPkg().CurrentVer() != P
.OwnerVer())
384 if (Type
== InstallVersion
)
386 StateCache
&State
= PkgState
[P
.OwnerPkg()->ID
];
387 if (State
.InstallVer
!= (Version
*)P
.OwnerVer())
391 if (Type
== CandidateVersion
)
393 StateCache
&State
= PkgState
[P
.OwnerPkg()->ID
];
394 if (State
.CandidateVer
!= (Version
*)P
.OwnerVer())
398 // Compare the versions.
399 if (VS().CheckDep(P
.ProvideVersion(),Dep
->CompareOp
,Dep
.TargetVer()) == true)
409 // DepCache::AddSizes - Add the packages sizes to the counters /*{{{*/
410 // ---------------------------------------------------------------------
411 /* Call with Inverse = true to preform the inverse opration */
412 void pkgDepCache::AddSizes(const PkgIterator
&Pkg
, bool const Inverse
)
414 StateCache
&P
= PkgState
[Pkg
->ID
];
416 if (Pkg
->VersionList
== 0)
419 if (Pkg
.State() == pkgCache::PkgIterator::NeedsConfigure
&&
423 // Compute the size data
424 if (P
.NewInstall() == true)
426 if (Inverse
== false) {
427 iUsrSize
+= P
.InstVerIter(*this)->InstalledSize
;
428 iDownloadSize
+= P
.InstVerIter(*this)->Size
;
430 iUsrSize
-= P
.InstVerIter(*this)->InstalledSize
;
431 iDownloadSize
-= P
.InstVerIter(*this)->Size
;
437 if (Pkg
->CurrentVer
!= 0 &&
438 (P
.InstallVer
!= (Version
*)Pkg
.CurrentVer() ||
439 (P
.iFlags
& ReInstall
) == ReInstall
) && P
.InstallVer
!= 0)
441 if (Inverse
== false) {
442 iUsrSize
-= Pkg
.CurrentVer()->InstalledSize
;
443 iUsrSize
+= P
.InstVerIter(*this)->InstalledSize
;
444 iDownloadSize
+= P
.InstVerIter(*this)->Size
;
446 iUsrSize
-= P
.InstVerIter(*this)->InstalledSize
;
447 iUsrSize
+= Pkg
.CurrentVer()->InstalledSize
;
448 iDownloadSize
-= P
.InstVerIter(*this)->Size
;
454 if (Pkg
.State() == pkgCache::PkgIterator::NeedsUnpack
&&
457 if (Inverse
== false)
458 iDownloadSize
+= P
.InstVerIter(*this)->Size
;
460 iDownloadSize
-= P
.InstVerIter(*this)->Size
;
465 if (Pkg
->CurrentVer
!= 0 && P
.InstallVer
== 0)
467 if (Inverse
== false)
468 iUsrSize
-= Pkg
.CurrentVer()->InstalledSize
;
470 iUsrSize
+= Pkg
.CurrentVer()->InstalledSize
;
475 // DepCache::AddStates - Add the package to the state counter /*{{{*/
476 // ---------------------------------------------------------------------
477 /* This routine is tricky to use, you must make sure that it is never
478 called twice for the same package. This means the Remove/Add section
479 should be as short as possible and not encompass any code that will
480 calld Remove/Add itself. Remember, dependencies can be circular so
481 while processing a dep for Pkg it is possible that Add/Remove
482 will be called on Pkg */
483 void pkgDepCache::AddStates(const PkgIterator
&Pkg
, bool const Invert
)
485 signed char const Add
= (Invert
== false) ? 1 : -1;
486 StateCache
&State
= PkgState
[Pkg
->ID
];
488 // The Package is broken (either minimal dep or policy dep)
489 if ((State
.DepState
& DepInstMin
) != DepInstMin
)
491 if ((State
.DepState
& DepInstPolicy
) != DepInstPolicy
)
492 iPolicyBrokenCount
+= Add
;
495 if (Pkg
.State() != PkgIterator::NeedsNothing
)
499 if (Pkg
->CurrentVer
== 0)
501 if (State
.Mode
== ModeDelete
&&
502 (State
.iFlags
& Purge
) == Purge
&& Pkg
.Purge() == false)
505 if (State
.Mode
== ModeInstall
)
510 // Installed, no upgrade
511 if (State
.Status
== 0)
513 if (State
.Mode
== ModeDelete
)
516 if ((State
.iFlags
& ReInstall
) == ReInstall
)
522 // Alll 3 are possible
523 if (State
.Mode
== ModeDelete
)
525 if (State
.Mode
== ModeKeep
)
527 if (State
.Mode
== ModeInstall
)
531 // DepCache::BuildGroupOrs - Generate the Or group dep data /*{{{*/
532 // ---------------------------------------------------------------------
533 /* The or group results are stored in the last item of the or group. This
534 allows easy detection of the state of a whole or'd group. */
535 void pkgDepCache::BuildGroupOrs(VerIterator
const &V
)
537 unsigned char Group
= 0;
539 for (DepIterator D
= V
.DependsList(); D
.end() != true; D
++)
541 // Build the dependency state.
542 unsigned char &State
= DepState
[D
->ID
];
544 /* Invert for Conflicts. We have to do this twice to get the
545 right sense for a conflicts group */
546 if (D
.IsNegative() == true)
549 // Add to the group if we are within an or..
553 if ((D
->CompareOp
& Dep::Or
) != Dep::Or
)
556 // Invert for Conflicts
557 if (D
.IsNegative() == true)
562 // DepCache::VersionState - Perform a pass over a dependency list /*{{{*/
563 // ---------------------------------------------------------------------
564 /* This is used to run over a dependency list and determine the dep
565 state of the list, filtering it through both a Min check and a Policy
566 check. The return result will have SetMin/SetPolicy low if a check
567 fails. It uses the DepState cache for it's computations. */
568 unsigned char pkgDepCache::VersionState(DepIterator D
,unsigned char Check
,
569 unsigned char SetMin
,
570 unsigned char SetPolicy
)
572 unsigned char Dep
= 0xFF;
574 while (D
.end() != true)
576 // Compute a single dependency element (glob or)
577 DepIterator Start
= D
;
578 unsigned char State
= 0;
579 for (bool LastOR
= true; D
.end() == false && LastOR
== true; D
++)
581 State
|= DepState
[D
->ID
];
582 LastOR
= (D
->CompareOp
& Dep::Or
) == Dep::Or
;
585 // Minimum deps that must be satisfied to have a working package
586 if (Start
.IsCritical() == true)
587 if ((State
& Check
) != Check
)
590 // Policy deps that must be satisfied to install the package
591 if (IsImportantDep(Start
) == true &&
592 (State
& Check
) != Check
)
599 // DepCache::DependencyState - Compute the 3 results for a dep /*{{{*/
600 // ---------------------------------------------------------------------
601 /* This is the main dependency computation bit. It computes the 3 main
602 results for a dependencys, Now, Install and Candidate. Callers must
603 invert the result if dealing with conflicts. */
604 unsigned char pkgDepCache::DependencyState(DepIterator
&D
)
606 unsigned char State
= 0;
608 if (CheckDep(D
,NowVersion
) == true)
610 if (CheckDep(D
,InstallVersion
) == true)
612 if (CheckDep(D
,CandidateVersion
) == true)
618 // DepCache::UpdateVerState - Compute the Dep member of the state /*{{{*/
619 // ---------------------------------------------------------------------
620 /* This determines the combined dependency representation of a package
621 for its two states now and install. This is done by using the pre-generated
622 dependency information. */
623 void pkgDepCache::UpdateVerState(PkgIterator Pkg
)
625 // Empty deps are always true
626 StateCache
&State
= PkgState
[Pkg
->ID
];
627 State
.DepState
= 0xFF;
629 // Check the Current state
630 if (Pkg
->CurrentVer
!= 0)
632 DepIterator D
= Pkg
.CurrentVer().DependsList();
633 State
.DepState
&= VersionState(D
,DepNow
,DepNowMin
,DepNowPolicy
);
636 /* Check the candidate state. We do not compare against the whole as
637 a candidate state but check the candidate version against the
639 if (State
.CandidateVer
!= 0)
641 DepIterator D
= State
.CandidateVerIter(*this).DependsList();
642 State
.DepState
&= VersionState(D
,DepInstall
,DepCandMin
,DepCandPolicy
);
645 // Check target state which can only be current or installed
646 if (State
.InstallVer
!= 0)
648 DepIterator D
= State
.InstVerIter(*this).DependsList();
649 State
.DepState
&= VersionState(D
,DepInstall
,DepInstMin
,DepInstPolicy
);
653 // DepCache::Update - Figure out all the state information /*{{{*/
654 // ---------------------------------------------------------------------
655 /* This will figure out the state of all the packages and all the
656 dependencies based on the current policy. */
657 void pkgDepCache::Update(OpProgress
*Prog
)
667 // Perform the depends pass
669 for (PkgIterator I
= PkgBegin(); I
.end() != true; I
++,Done
++)
671 if (Prog
!= 0 && Done%20
== 0)
672 Prog
->Progress(Done
);
673 for (VerIterator V
= I
.VersionList(); V
.end() != true; V
++)
675 unsigned char Group
= 0;
677 for (DepIterator D
= V
.DependsList(); D
.end() != true; D
++)
679 // Build the dependency state.
680 unsigned char &State
= DepState
[D
->ID
];
681 State
= DependencyState(D
);
683 // Add to the group if we are within an or..
686 if ((D
->CompareOp
& Dep::Or
) != Dep::Or
)
689 // Invert for Conflicts
690 if (D
.IsNegative() == true)
695 // Compute the package dependency state and size additions
702 Prog
->Progress(Done
);
707 // DepCache::Update - Update the deps list of a package /*{{{*/
708 // ---------------------------------------------------------------------
709 /* This is a helper for update that only does the dep portion of the scan.
710 It is mainly meant to scan reverse dependencies. */
711 void pkgDepCache::Update(DepIterator D
)
713 // Update the reverse deps
714 for (;D
.end() != true; D
++)
716 unsigned char &State
= DepState
[D
->ID
];
717 State
= DependencyState(D
);
719 // Invert for Conflicts
720 if (D
.IsNegative() == true)
723 RemoveStates(D
.ParentPkg());
724 BuildGroupOrs(D
.ParentVer());
725 UpdateVerState(D
.ParentPkg());
726 AddStates(D
.ParentPkg());
730 // DepCache::Update - Update the related deps of a package /*{{{*/
731 // ---------------------------------------------------------------------
732 /* This is called whenever the state of a package changes. It updates
733 all cached dependencies related to this package. */
734 void pkgDepCache::Update(PkgIterator
const &Pkg
)
736 // Recompute the dep of the package
741 // Update the reverse deps
742 Update(Pkg
.RevDependsList());
744 // Update the provides map for the current ver
745 if (Pkg
->CurrentVer
!= 0)
746 for (PrvIterator P
= Pkg
.CurrentVer().ProvidesList();
747 P
.end() != true; P
++)
748 Update(P
.ParentPkg().RevDependsList());
750 // Update the provides map for the candidate ver
751 if (PkgState
[Pkg
->ID
].CandidateVer
!= 0)
752 for (PrvIterator P
= PkgState
[Pkg
->ID
].CandidateVerIter(*this).ProvidesList();
753 P
.end() != true; P
++)
754 Update(P
.ParentPkg().RevDependsList());
757 // DepCache::MarkKeep - Put the package in the keep state /*{{{*/
758 // ---------------------------------------------------------------------
760 bool pkgDepCache::MarkKeep(PkgIterator
const &Pkg
, bool Soft
, bool FromUser
,
763 if (IsModeChangeOk(ModeKeep
, Pkg
, Depth
, FromUser
) == false)
766 /* Reject an attempt to keep a non-source broken installed package, those
768 if (Pkg
.State() == PkgIterator::NeedsUnpack
&&
769 Pkg
.CurrentVer().Downloadable() == false)
772 /* We changed the soft state all the time so the UI is a bit nicer
774 StateCache
&P
= PkgState
[Pkg
->ID
];
776 // Check that it is not already kept
777 if (P
.Mode
== ModeKeep
)
781 P
.iFlags
|= AutoKept
;
783 P
.iFlags
&= ~AutoKept
;
785 ActionGroup
group(*this);
787 #if 0 // reseting the autoflag here means we lose the
788 // auto-mark information if a user selects a package for removal
789 // but changes his mind then and sets it for keep again
790 // - this makes sense as default when all Garbage dependencies
791 // are automatically marked for removal (as aptitude does).
792 // setting a package for keep then makes it no longer autoinstalled
793 // for all other use-case this action is rather suprising
794 if(FromUser
&& !P
.Marked
)
795 P
.Flags
&= ~Flag::Auto
;
798 if (DebugMarker
== true)
799 std::clog
<< OutputInDepth(Depth
) << "MarkKeep " << Pkg
<< " FU=" << FromUser
<< std::endl
;
805 if (Pkg
->CurrentVer
== 0)
808 P
.InstallVer
= Pkg
.CurrentVer();
817 // DepCache::MarkDelete - Put the package in the delete state /*{{{*/
818 // ---------------------------------------------------------------------
820 bool pkgDepCache::MarkDelete(PkgIterator
const &Pkg
, bool rPurge
,
821 unsigned long Depth
, bool FromUser
)
823 if (IsModeChangeOk(ModeDelete
, Pkg
, Depth
, FromUser
) == false)
826 StateCache
&P
= PkgState
[Pkg
->ID
];
828 // Check that it is not already marked for delete
829 if ((P
.Mode
== ModeDelete
|| P
.InstallVer
== 0) &&
830 (Pkg
.Purge() == true || rPurge
== false))
833 // check if we are allowed to remove the package
834 if (IsDeleteOk(Pkg
,rPurge
,Depth
,FromUser
) == false)
837 P
.iFlags
&= ~(AutoKept
| Purge
);
841 ActionGroup
group(*this);
843 if (DebugMarker
== true)
844 std::clog
<< OutputInDepth(Depth
) << (rPurge
? "MarkPurge " : "MarkDelete ") << Pkg
<< " FU=" << FromUser
<< std::endl
;
849 if (Pkg
->CurrentVer
== 0 && (Pkg
.Purge() == true || rPurge
== false))
862 // DepCache::IsDeleteOk - check if it is ok to remove this package /*{{{*/
863 // ---------------------------------------------------------------------
864 /* The default implementation tries to prevent deletion of install requests.
865 dpkg holds are enforced by the private IsModeChangeOk */
866 bool pkgDepCache::IsDeleteOk(PkgIterator
const &Pkg
,bool rPurge
,
867 unsigned long Depth
, bool FromUser
)
869 if (FromUser
== false && Pkg
->CurrentVer
== 0)
871 StateCache
&P
= PkgState
[Pkg
->ID
];
872 if (P
.InstallVer
!= 0 && P
.Status
== 2 && (P
.Flags
& Flag::Auto
) != Flag::Auto
)
874 if (DebugMarker
== true)
875 std::clog
<< OutputInDepth(Depth
) << "Manual install request prevents MarkDelete of " << Pkg
<< std::endl
;
882 // DepCache::IsModeChangeOk - check if it is ok to change the mode /*{{{*/
883 // ---------------------------------------------------------------------
884 /* this is used by all Mark methods on the very first line to check sanity
885 and prevents mode changes for packages on hold for example.
886 If you want to check Mode specific stuff you can use the virtual public
887 Is<Mode>Ok methods instead */
888 char const* PrintMode(char const mode
)
892 case pkgDepCache::ModeInstall
: return "Install";
893 case pkgDepCache::ModeKeep
: return "Keep";
894 case pkgDepCache::ModeDelete
: return "Delete";
895 default: return "UNKNOWN";
898 bool pkgDepCache::IsModeChangeOk(ModeList
const mode
, PkgIterator
const &Pkg
,
899 unsigned long const Depth
, bool const FromUser
)
901 // we are not trying to hard…
902 if (unlikely(Depth
> 100))
906 if (unlikely(Pkg
.end() == true || Pkg
->VersionList
== 0))
909 // the user is always right
910 if (FromUser
== true)
913 StateCache
&P
= PkgState
[Pkg
->ID
];
915 // if previous state was set by user only user can reset it
916 if ((P
.iFlags
& Protected
) == Protected
)
918 if (unlikely(DebugMarker
== true) && P
.Mode
!= mode
)
919 std::clog
<< OutputInDepth(Depth
) << "Ignore Mark" << PrintMode(mode
)
920 << " of " << Pkg
<< " as its mode (" << PrintMode(P
.Mode
)
921 << ") is protected" << std::endl
;
924 // enforce dpkg holds
925 else if (mode
!= ModeKeep
&& Pkg
->SelectedState
== pkgCache::State::Hold
&&
926 _config
->FindB("APT::Ignore-Hold",false) == false)
928 if (unlikely(DebugMarker
== true) && P
.Mode
!= mode
)
929 std::clog
<< OutputInDepth(Depth
) << "Hold prevents Mark" << PrintMode(mode
)
930 << " of " << Pkg
<< std::endl
;
937 // DepCache::MarkInstall - Put the package in the install state /*{{{*/
938 // ---------------------------------------------------------------------
940 bool pkgDepCache::MarkInstall(PkgIterator
const &Pkg
,bool AutoInst
,
941 unsigned long Depth
, bool FromUser
,
942 bool ForceImportantDeps
)
944 if (IsModeChangeOk(ModeInstall
, Pkg
, Depth
, FromUser
) == false)
947 StateCache
&P
= PkgState
[Pkg
->ID
];
949 // See if there is even any possible instalation candidate
950 if (P
.CandidateVer
== 0)
953 /* Check that it is not already marked for install and that it can be
955 if ((P
.InstPolicyBroken() == false && P
.InstBroken() == false) &&
956 (P
.Mode
== ModeInstall
||
957 P
.CandidateVer
== (Version
*)Pkg
.CurrentVer()))
959 if (P
.CandidateVer
== (Version
*)Pkg
.CurrentVer() && P
.InstallVer
== 0)
960 return MarkKeep(Pkg
, false, FromUser
, Depth
+1);
964 // check if we are allowed to install the package
965 if (IsInstallOk(Pkg
,AutoInst
,Depth
,FromUser
) == false)
968 ActionGroup
group(*this);
969 P
.iFlags
&= ~AutoKept
;
971 /* Target the candidate version and remove the autoflag. We reset the
972 autoflag below if this was called recursively. Otherwise the user
973 should have the ability to de-auto a package by changing its state */
977 P
.Mode
= ModeInstall
;
978 P
.InstallVer
= P
.CandidateVer
;
982 // Set it to manual if it's a new install or already installed,
983 // but only if its not marked by the autoremover (aptitude depend on this behavior)
984 // or if we do automatic installation (aptitude never does it)
985 if(P
.Status
== 2 || (Pkg
->CurrentVer
!= 0 && (AutoInst
== true || P
.Marked
== false)))
986 P
.Flags
&= ~Flag::Auto
;
990 // Set it to auto if this is a new install.
992 P
.Flags
|= Flag::Auto
;
994 if (P
.CandidateVer
== (Version
*)Pkg
.CurrentVer())
1001 if (AutoInst
== false || _config
->Find("APT::Solver", "internal") != "internal")
1004 if (DebugMarker
== true)
1005 std::clog
<< OutputInDepth(Depth
) << "MarkInstall " << Pkg
<< " FU=" << FromUser
<< std::endl
;
1007 DepIterator Dep
= P
.InstVerIter(*this).DependsList();
1008 for (; Dep
.end() != true;)
1011 DepIterator Start
= Dep
;
1014 for (bool LastOR
= true; Dep
.end() == false && LastOR
== true; Dep
++,Ors
++)
1016 LastOR
= (Dep
->CompareOp
& Dep::Or
) == Dep::Or
;
1018 if ((DepState
[Dep
->ID
] & DepInstall
) == DepInstall
)
1022 // Dep is satisfied okay.
1023 if (Result
== false)
1026 /* Check if this dep should be consider for install. If it is a user
1027 defined important dep and we are installed a new package then
1028 it will be installed. Otherwise we only check for important
1029 deps that have changed from the installed version
1031 if (IsImportantDep(Start
) == false)
1034 /* If we are in an or group locate the first or that can
1035 succeed. We have already cached this.. */
1036 for (; Ors
> 1 && (DepState
[Start
->ID
] & DepCVer
) != DepCVer
; --Ors
)
1038 if (Ors
== 1 && (DepState
[Start
->ID
] &DepCVer
) != DepCVer
&& Start
.IsNegative() == false)
1040 if(DebugAutoInstall
== true)
1041 std::clog
<< OutputInDepth(Depth
) << Start
<< " can't be satisfied!" << std::endl
;
1042 if (Start
.IsCritical() == false)
1044 // if the dependency was critical, we can't install it, so remove it again
1045 MarkDelete(Pkg
,false,Depth
+ 1, false);
1049 /* Check if any ImportantDep() (but not Critical) were added
1050 * since we installed the package. Also check for deps that
1051 * were satisfied in the past: for instance, if a version
1052 * restriction in a Recommends was tightened, upgrading the
1053 * package should follow that Recommends rather than causing the
1054 * dependency to be removed. (bug #470115)
1056 if (Pkg
->CurrentVer
!= 0 && ForceImportantDeps
== false && Start
.IsCritical() == false)
1058 bool isNewImportantDep
= true;
1059 bool isPreviouslySatisfiedImportantDep
= false;
1060 for (DepIterator D
= Pkg
.CurrentVer().DependsList(); D
.end() != true; ++D
)
1062 //FIXME: Should we handle or-group better here?
1063 // We do not check if the package we look for is part of the same or-group
1064 // we might find while searching, but could that really be a problem?
1065 if (D
.IsCritical() == true || IsImportantDep(D
) == false ||
1066 Start
.TargetPkg() != D
.TargetPkg())
1069 isNewImportantDep
= false;
1071 while ((D
->CompareOp
& Dep::Or
) != 0)
1074 isPreviouslySatisfiedImportantDep
= (((*this)[D
] & DepGNow
) != 0);
1075 if (isPreviouslySatisfiedImportantDep
== true)
1079 if(isNewImportantDep
== true)
1081 if (DebugAutoInstall
== true)
1082 std::clog
<< OutputInDepth(Depth
) << "new important dependency: "
1083 << Start
.TargetPkg().FullName() << std::endl
;
1085 else if(isPreviouslySatisfiedImportantDep
== true)
1087 if (DebugAutoInstall
== true)
1088 std::clog
<< OutputInDepth(Depth
) << "previously satisfied important dependency on "
1089 << Start
.TargetPkg().FullName() << std::endl
;
1093 if (DebugAutoInstall
== true)
1094 std::clog
<< OutputInDepth(Depth
) << "ignore old unsatisfied important dependency on "
1095 << Start
.TargetPkg().FullName() << std::endl
;
1100 /* This bit is for processing the possibilty of an install/upgrade
1101 fixing the problem */
1102 SPtrArray
<Version
*> List
= Start
.AllTargets();
1103 if (Start
->Type
!= Dep::DpkgBreaks
&&
1104 (DepState
[Start
->ID
] & DepCVer
) == DepCVer
)
1106 // Right, find the best version to install..
1107 Version
**Cur
= List
;
1108 PkgIterator P
= Start
.TargetPkg();
1109 PkgIterator
InstPkg(*Cache
,0);
1111 // See if there are direct matches (at the start of the list)
1112 for (; *Cur
!= 0 && (*Cur
)->ParentPkg
== P
.Index(); Cur
++)
1114 PkgIterator
Pkg(*Cache
,Cache
->PkgP
+ (*Cur
)->ParentPkg
);
1115 if (PkgState
[Pkg
->ID
].CandidateVer
!= *Cur
)
1121 // Select the highest priority providing package
1122 if (InstPkg
.end() == true)
1124 pkgPrioSortList(*Cache
,Cur
);
1125 for (; *Cur
!= 0; Cur
++)
1127 PkgIterator
Pkg(*Cache
,Cache
->PkgP
+ (*Cur
)->ParentPkg
);
1128 if (PkgState
[Pkg
->ID
].CandidateVer
!= *Cur
)
1135 if (InstPkg
.end() == false)
1137 if(DebugAutoInstall
== true)
1138 std::clog
<< OutputInDepth(Depth
) << "Installing " << InstPkg
.Name()
1139 << " as " << Start
.DepType() << " of " << Pkg
.Name()
1141 // now check if we should consider it a automatic dependency or not
1142 if(Pkg
.Section() && ConfigValueInSubTree("APT::Never-MarkAuto-Sections", Pkg
.Section()))
1144 if(DebugAutoInstall
== true)
1145 std::clog
<< OutputInDepth(Depth
) << "Setting NOT as auto-installed (direct "
1146 << Start
.DepType() << " of pkg in APT::Never-MarkAuto-Sections)" << std::endl
;
1147 MarkInstall(InstPkg
,true,Depth
+ 1, true);
1151 // mark automatic dependency
1152 MarkInstall(InstPkg
,true,Depth
+ 1, false, ForceImportantDeps
);
1153 // Set the autoflag, after MarkInstall because MarkInstall unsets it
1154 if (P
->CurrentVer
== 0)
1155 PkgState
[InstPkg
->ID
].Flags
|= Flag::Auto
;
1161 /* For conflicts we just de-install the package and mark as auto,
1162 Conflicts may not have or groups. For dpkg's Breaks we try to
1163 upgrade the package. */
1164 if (Start
.IsNegative() == true)
1166 for (Version
**I
= List
; *I
!= 0; I
++)
1168 VerIterator
Ver(*this,*I
);
1169 PkgIterator Pkg
= Ver
.ParentPkg();
1171 /* The List includes all packages providing this dependency,
1172 even providers which are not installed, so skip them. */
1173 if (PkgState
[Pkg
->ID
].InstallVer
== 0)
1176 if (PkgState
[Pkg
->ID
].CandidateVer
!= *I
&&
1177 Start
->Type
== Dep::DpkgBreaks
&&
1178 MarkInstall(Pkg
,true,Depth
+ 1, false, ForceImportantDeps
) == true)
1180 else if (MarkDelete(Pkg
,false,Depth
+ 1, false) == false)
1187 return Dep
.end() == true;
1190 // DepCache::IsInstallOk - check if it is ok to install this package /*{{{*/
1191 // ---------------------------------------------------------------------
1192 /* The default implementation does nothing.
1193 dpkg holds are enforced by the private IsModeChangeOk */
1194 bool pkgDepCache::IsInstallOk(PkgIterator
const &Pkg
,bool AutoInst
,
1195 unsigned long Depth
, bool FromUser
)
1200 // DepCache::SetReInstall - Set the reinstallation flag /*{{{*/
1201 // ---------------------------------------------------------------------
1203 void pkgDepCache::SetReInstall(PkgIterator
const &Pkg
,bool To
)
1205 if (unlikely(Pkg
.end() == true))
1208 ActionGroup
group(*this);
1213 StateCache
&P
= PkgState
[Pkg
->ID
];
1215 P
.iFlags
|= ReInstall
;
1217 P
.iFlags
&= ~ReInstall
;
1223 // DepCache::SetCandidateVersion - Change the candidate version /*{{{*/
1224 // ---------------------------------------------------------------------
1226 void pkgDepCache::SetCandidateVersion(VerIterator TargetVer
)
1228 pkgCache::PkgIterator Pkg
= TargetVer
.ParentPkg();
1229 StateCache
&P
= PkgState
[Pkg
->ID
];
1231 if (P
.CandidateVer
== TargetVer
)
1234 ActionGroup
group(*this);
1239 if (P
.CandidateVer
== P
.InstallVer
&& P
.Install() == true)
1240 P
.InstallVer
= (Version
*)TargetVer
;
1241 P
.CandidateVer
= (Version
*)TargetVer
;
1242 P
.Update(Pkg
,*this);
1250 // DepCache::SetCandidateRelease - Change the candidate version /*{{{*/
1251 // ---------------------------------------------------------------------
1252 /* changes the candidate of a package and walks over all its dependencies
1253 to check if it needs to change the candidate of the dependency, too,
1254 to reach a installable versionstate */
1255 bool pkgDepCache::SetCandidateRelease(pkgCache::VerIterator TargetVer
,
1256 std::string
const &TargetRel
)
1258 std::list
<std::pair
<pkgCache::VerIterator
, pkgCache::VerIterator
> > Changed
;
1259 return SetCandidateRelease(TargetVer
, TargetRel
, Changed
);
1261 bool pkgDepCache::SetCandidateRelease(pkgCache::VerIterator TargetVer
,
1262 std::string
const &TargetRel
,
1263 std::list
<std::pair
<pkgCache::VerIterator
, pkgCache::VerIterator
> > &Changed
)
1265 ActionGroup
group(*this);
1266 SetCandidateVersion(TargetVer
);
1268 if (TargetRel
== "installed" || TargetRel
== "candidate") // both doesn't make sense in this context
1271 pkgVersionMatch
Match(TargetRel
, pkgVersionMatch::Release
);
1272 // save the position of the last element we will not undo - if we have to
1273 std::list
<std::pair
<pkgCache::VerIterator
, pkgCache::VerIterator
> >::iterator newChanged
= --(Changed
.end());
1275 for (pkgCache::DepIterator D
= TargetVer
.DependsList(); D
.end() == false; ++D
)
1277 if (D
->Type
!= pkgCache::Dep::PreDepends
&& D
->Type
!= pkgCache::Dep::Depends
&&
1278 ((D
->Type
!= pkgCache::Dep::Recommends
&& D
->Type
!= pkgCache::Dep::Suggests
) ||
1279 IsImportantDep(D
) == false))
1282 // walk over an or-group and check if we need to do anything
1283 // for simpilicity no or-group is handled as a or-group including one dependency
1284 pkgCache::DepIterator Start
= D
;
1285 bool itsFine
= false;
1286 for (bool stillOr
= true; stillOr
== true; ++Start
)
1288 stillOr
= (Start
->CompareOp
& Dep::Or
) == Dep::Or
;
1289 pkgCache::PkgIterator
const P
= Start
.TargetPkg();
1290 // virtual packages can't be a solution
1291 if (P
.end() == true || (P
->ProvidesList
== 0 && P
->VersionList
== 0))
1293 pkgCache::VerIterator
const Cand
= PkgState
[P
->ID
].CandidateVerIter(*this);
1294 // no versioned dependency - but is it installable?
1295 if (Start
.TargetVer() == 0 || Start
.TargetVer()[0] == '\0')
1297 // Check if one of the providers is installable
1298 if (P
->ProvidesList
!= 0)
1300 pkgCache::PrvIterator Prv
= P
.ProvidesList();
1301 for (; Prv
.end() == false; ++Prv
)
1303 pkgCache::VerIterator
const C
= PkgState
[Prv
.OwnerPkg()->ID
].CandidateVerIter(*this);
1304 if (C
.end() == true || C
!= Prv
.OwnerVer() ||
1305 (VersionState(C
.DependsList(), DepInstall
, DepCandMin
, DepCandPolicy
) & DepCandMin
) != DepCandMin
)
1309 if (Prv
.end() == true)
1312 // no providers, so check if we have an installable candidate version
1313 else if (Cand
.end() == true ||
1314 (VersionState(Cand
.DependsList(), DepInstall
, DepCandMin
, DepCandPolicy
) & DepCandMin
) != DepCandMin
)
1319 if (Cand
.end() == true)
1321 // check if the current candidate is enough for the versioned dependency - and installable?
1322 if (VS().CheckDep(P
.CandVersion(), Start
->CompareOp
, Start
.TargetVer()) == true &&
1323 (VersionState(Cand
.DependsList(), DepInstall
, DepCandMin
, DepCandPolicy
) & DepCandMin
) == DepCandMin
)
1330 if (itsFine
== true) {
1331 // something in the or-group was fine, skip all other members
1332 for (; (D
->CompareOp
& Dep::Or
) == Dep::Or
; ++D
);
1336 // walk again over the or-group and check each if a candidate switch would help
1338 for (bool stillOr
= true; stillOr
== true; ++D
)
1340 stillOr
= (D
->CompareOp
& Dep::Or
) == Dep::Or
;
1341 // changing candidate will not help if the dependency is not versioned
1342 if (D
.TargetVer() == 0 || D
.TargetVer()[0] == '\0')
1344 if (stillOr
== true)
1349 pkgCache::VerIterator V
;
1350 if (TargetRel
== "newest")
1351 V
= D
.TargetPkg().VersionList();
1353 V
= Match
.Find(D
.TargetPkg());
1355 // check if the version from this release could satisfy the dependency
1356 if (V
.end() == true || VS().CheckDep(V
.VerStr(), D
->CompareOp
, D
.TargetVer()) == false)
1358 if (stillOr
== true)
1363 pkgCache::VerIterator oldCand
= PkgState
[D
.TargetPkg()->ID
].CandidateVerIter(*this);
1366 // Do we already touched this Version? If so, their versioned dependencies are okay, no need to check again
1367 for (std::list
<std::pair
<pkgCache::VerIterator
, pkgCache::VerIterator
> >::const_iterator c
= Changed
.begin();
1368 c
!= Changed
.end(); ++c
)
1370 if (c
->first
->ParentPkg
!= V
->ParentPkg
)
1377 if (itsFine
== false)
1379 // change the candidate
1380 Changed
.push_back(make_pair(oldCand
, TargetVer
));
1381 if (SetCandidateRelease(V
, TargetRel
, Changed
) == false)
1383 if (stillOr
== false)
1385 // undo the candidate changing
1386 SetCandidateVersion(oldCand
);
1393 // something in the or-group was fine, skip all other members
1394 for (; (D
->CompareOp
& Dep::Or
) == Dep::Or
; ++D
);
1398 if (itsFine
== false && (D
->Type
== pkgCache::Dep::PreDepends
|| D
->Type
== pkgCache::Dep::Depends
))
1400 // undo all changes which aren't lead to a solution
1401 for (std::list
<std::pair
<pkgCache::VerIterator
, pkgCache::VerIterator
> >::const_iterator c
= ++newChanged
;
1402 c
!= Changed
.end(); ++c
)
1403 SetCandidateVersion(c
->first
);
1404 Changed
.erase(newChanged
, Changed
.end());
1411 // DepCache::MarkAuto - set the Auto flag for a package /*{{{*/
1412 // ---------------------------------------------------------------------
1414 void pkgDepCache::MarkAuto(const PkgIterator
&Pkg
, bool Auto
)
1416 StateCache
&state
= PkgState
[Pkg
->ID
];
1418 ActionGroup
group(*this);
1421 state
.Flags
|= Flag::Auto
;
1423 state
.Flags
&= ~Flag::Auto
;
1426 // StateCache::Update - Compute the various static display things /*{{{*/
1427 // ---------------------------------------------------------------------
1428 /* This is called whenever the Candidate version changes. */
1429 void pkgDepCache::StateCache::Update(PkgIterator Pkg
,pkgCache
&Cache
)
1432 VerIterator Ver
= CandidateVerIter(Cache
);
1434 // Use a null string or the version string
1435 if (Ver
.end() == true)
1438 CandVersion
= Ver
.VerStr();
1440 // Find the current version
1442 if (Pkg
->CurrentVer
!= 0)
1443 CurVersion
= Pkg
.CurrentVer().VerStr();
1445 // Strip off the epochs for display
1446 CurVersion
= StripEpoch(CurVersion
);
1447 CandVersion
= StripEpoch(CandVersion
);
1449 // Figure out if its up or down or equal
1450 Status
= Ver
.CompareVer(Pkg
.CurrentVer());
1451 if (Pkg
->CurrentVer
== 0 || Pkg
->VersionList
== 0 || CandidateVer
== 0)
1455 // StateCache::StripEpoch - Remove the epoch specifier from the version /*{{{*/
1456 // ---------------------------------------------------------------------
1458 const char *pkgDepCache::StateCache::StripEpoch(const char *Ver
)
1464 for (const char *I
= Ver
; *I
!= 0; I
++)
1470 // Policy::GetCandidateVer - Returns the Candidate install version /*{{{*/
1471 // ---------------------------------------------------------------------
1472 /* The default just returns the highest available version that is not
1473 a source and automatic. */
1474 pkgCache::VerIterator
pkgDepCache::Policy::GetCandidateVer(PkgIterator
const &Pkg
)
1476 /* Not source/not automatic versions cannot be a candidate version
1477 unless they are already installed */
1478 VerIterator
Last(*(pkgCache
*)this,0);
1480 for (VerIterator I
= Pkg
.VersionList(); I
.end() == false; I
++)
1482 if (Pkg
.CurrentVer() == I
)
1485 for (VerFileIterator J
= I
.FileList(); J
.end() == false; J
++)
1487 if ((J
.File()->Flags
& Flag::NotSource
) != 0)
1490 /* Stash the highest version of a not-automatic source, we use it
1491 if there is nothing better */
1492 if ((J
.File()->Flags
& Flag::NotAutomatic
) != 0 ||
1493 (J
.File()->Flags
& Flag::ButAutomaticUpgrades
) != 0)
1495 if (Last
.end() == true)
1507 // Policy::IsImportantDep - True if the dependency is important /*{{{*/
1508 // ---------------------------------------------------------------------
1510 bool pkgDepCache::Policy::IsImportantDep(DepIterator
const &Dep
)
1512 if(Dep
.IsCritical())
1514 else if(Dep
->Type
== pkgCache::Dep::Recommends
)
1516 if ( _config
->FindB("APT::Install-Recommends", false))
1518 // we suport a special mode to only install-recommends for certain
1520 // FIXME: this is a meant as a temporarly solution until the
1521 // recommends are cleaned up
1522 const char *sec
= Dep
.ParentVer().Section();
1523 if (sec
&& ConfigValueInSubTree("APT::Install-Recommends-Sections", sec
))
1526 else if(Dep
->Type
== pkgCache::Dep::Suggests
)
1527 return _config
->FindB("APT::Install-Suggests", false);
1532 // Policy::GetPriority - Get the priority of the package pin /*{{{*/
1533 signed short pkgDepCache::Policy::GetPriority(pkgCache::PkgIterator
const &Pkg
)
1535 signed short pkgDepCache::Policy::GetPriority(pkgCache::PkgFileIterator
const &File
)
1538 pkgDepCache::InRootSetFunc
*pkgDepCache::GetRootSetFunc() /*{{{*/
1540 DefaultRootSetFunc
*f
= new DefaultRootSetFunc
;
1541 if(f
->wasConstructedSuccessfully())
1550 bool pkgDepCache::MarkFollowsRecommends()
1552 return _config
->FindB("APT::AutoRemove::RecommendsImportant", true);
1555 bool pkgDepCache::MarkFollowsSuggests()
1557 return _config
->FindB("APT::AutoRemove::SuggestsImportant", true);
1560 // pkgDepCache::MarkRequired - the main mark algorithm /*{{{*/
1561 bool pkgDepCache::MarkRequired(InRootSetFunc
&userFunc
)
1563 if (_config
->Find("APT::Solver", "internal") != "internal")
1566 bool follow_recommends
;
1567 bool follow_suggests
;
1568 bool debug_autoremove
= _config
->FindB("Debug::pkgAutoRemove",false);
1571 for(PkgIterator p
= PkgBegin(); !p
.end(); ++p
)
1573 PkgState
[p
->ID
].Marked
= false;
1574 PkgState
[p
->ID
].Garbage
= false;
1577 if(debug_autoremove
&& PkgState
[p
->ID
].Flags
& Flag::Auto
)
1578 std::clog
<< "AutoDep: " << p
.FullName() << std::endl
;
1582 follow_recommends
= MarkFollowsRecommends();
1583 follow_suggests
= MarkFollowsSuggests();
1587 // do the mark part, this is the core bit of the algorithm
1588 for(PkgIterator p
= PkgBegin(); !p
.end(); ++p
)
1590 if(!(PkgState
[p
->ID
].Flags
& Flag::Auto
) ||
1591 (p
->Flags
& Flag::Essential
) ||
1592 userFunc
.InRootSet(p
) ||
1593 // be nice even then a required package violates the policy (#583517)
1594 // and do the full mark process also for required packages
1595 (p
.CurrentVer().end() != true &&
1596 p
.CurrentVer()->Priority
== pkgCache::State::Required
))
1598 // the package is installed (and set to keep)
1599 if(PkgState
[p
->ID
].Keep() && !p
.CurrentVer().end())
1600 MarkPackage(p
, p
.CurrentVer(),
1601 follow_recommends
, follow_suggests
);
1602 // the package is to be installed
1603 else if(PkgState
[p
->ID
].Install())
1604 MarkPackage(p
, PkgState
[p
->ID
].InstVerIter(*this),
1605 follow_recommends
, follow_suggests
);
1612 // MarkPackage - mark a single package in Mark-and-Sweep /*{{{*/
1613 void pkgDepCache::MarkPackage(const pkgCache::PkgIterator
&pkg
,
1614 const pkgCache::VerIterator
&ver
,
1615 bool const &follow_recommends
,
1616 bool const &follow_suggests
)
1618 pkgDepCache::StateCache
&state
= PkgState
[pkg
->ID
];
1620 // if we are marked already we are done
1624 VerIterator
const currver
= pkg
.CurrentVer();
1625 VerIterator
const instver
= state
.InstVerIter(*this);
1628 VerIterator
const candver
= state
.CandidateVerIter(*this);
1630 // If a package was garbage-collected but is now being marked, we
1631 // should re-select it
1632 // For cases when a pkg is set to upgrade and this trigger the
1633 // removal of a no-longer used dependency. if the pkg is set to
1634 // keep again later it will result in broken deps
1635 if(state
.Delete() && state
.RemoveReason
= Unused
)
1638 mark_install(pkg
, false, false, NULL
);
1639 else if(ver
==pkg
.CurrentVer())
1640 MarkKeep(pkg
, false, false);
1642 instver
=state
.InstVerIter(*this);
1646 // For packages that are not going to be removed, ignore versions
1647 // other than the InstVer. For packages that are going to be
1648 // removed, ignore versions other than the current version.
1649 if(!(ver
== instver
&& !instver
.end()) &&
1650 !(ver
== currver
&& instver
.end() && !ver
.end()))
1653 bool const debug_autoremove
= _config
->FindB("Debug::pkgAutoRemove", false);
1655 if(debug_autoremove
)
1657 std::clog
<< "Marking: " << pkg
.FullName();
1659 std::clog
<< " " << ver
.VerStr();
1661 std::clog
<< ", Curr=" << currver
.VerStr();
1663 std::clog
<< ", Inst=" << instver
.VerStr();
1664 std::clog
<< std::endl
;
1669 if(ver
.end() == true)
1672 for(DepIterator d
= ver
.DependsList(); !d
.end(); ++d
)
1674 if(d
->Type
== Dep::Depends
||
1675 d
->Type
== Dep::PreDepends
||
1676 (follow_recommends
&&
1677 d
->Type
== Dep::Recommends
) ||
1679 d
->Type
== Dep::Suggests
))
1681 // Try all versions of this package.
1682 for(VerIterator V
= d
.TargetPkg().VersionList();
1685 if(_system
->VS
->CheckDep(V
.VerStr(), d
->CompareOp
, d
.TargetVer()))
1687 if(debug_autoremove
)
1689 std::clog
<< "Following dep: " << d
.ParentPkg().FullName()
1690 << " " << d
.ParentVer().VerStr() << " "
1691 << d
.DepType() << " " << d
.TargetPkg().FullName();
1692 if((d
->CompareOp
& ~pkgCache::Dep::Or
) != pkgCache::Dep::NoOp
)
1694 std::clog
<< " (" << d
.CompType() << " "
1695 << d
.TargetVer() << ")";
1697 std::clog
<< std::endl
;
1699 MarkPackage(V
.ParentPkg(), V
,
1700 follow_recommends
, follow_suggests
);
1703 // Now try virtual packages
1704 for(PrvIterator prv
=d
.TargetPkg().ProvidesList();
1707 if(_system
->VS
->CheckDep(prv
.ProvideVersion(), d
->CompareOp
,
1710 if(debug_autoremove
)
1712 std::clog
<< "Following dep: " << d
.ParentPkg().FullName() << " "
1713 << d
.ParentVer().VerStr() << " "
1714 << d
.DepType() << " " << d
.TargetPkg().FullName() << " ";
1715 if((d
->CompareOp
& ~pkgCache::Dep::Or
) != pkgCache::Dep::NoOp
)
1717 std::clog
<< " (" << d
.CompType() << " "
1718 << d
.TargetVer() << ")";
1720 std::clog
<< ", provided by "
1721 << prv
.OwnerPkg().FullName() << " "
1722 << prv
.OwnerVer().VerStr()
1726 MarkPackage(prv
.OwnerPkg(), prv
.OwnerVer(),
1727 follow_recommends
, follow_suggests
);
1734 bool pkgDepCache::Sweep() /*{{{*/
1736 bool debug_autoremove
= _config
->FindB("Debug::pkgAutoRemove",false);
1739 for(PkgIterator p
=PkgBegin(); !p
.end(); ++p
)
1741 StateCache
&state
=PkgState
[p
->ID
];
1743 // skip required packages
1744 if (!p
.CurrentVer().end() &&
1745 (p
.CurrentVer()->Priority
== pkgCache::State::Required
))
1748 // if it is not marked and it is installed, it's garbage
1749 if(!state
.Marked
&& (!p
.CurrentVer().end() || state
.Install()))
1752 if(debug_autoremove
)
1753 std::clog
<< "Garbage: " << p
.FullName() << std::endl
;